summary refs log tree commit diff
path: root/pkgs/applications/science/logic/monosat
Commit message (Expand)AuthorAge
* monosat: update build to use handy new environment variableDan Peebles2018-07-08
* monosat: cbaf79cf -> 2deeadefDan Peebles2018-07-08
* monosat: init at 1nx3wh34Dan Peebles2018-07-08