summary refs log tree commit diff
path: root/pkgs/applications/science/logic/lingeling
Commit message (Expand)AuthorAge
* lingeling: enable for darwinRobert Scott2019-12-08
* treewide: remove redundant recvolth2019-08-28
* treewide: name -> pname (easy cases) (#66585)volth2019-08-15
* lingeling: init at pre1_03b4860dAustin Seipp2018-08-15