Commit Graph

4 Commits

Author SHA1 Message Date
volth
08f68313a4 treewide: remove redundant rec 2019-08-28 11:07:32 +00:00
Dan Peebles
1dd7bc7dfc monosat: update build to use handy new environment variable 2018-07-08 22:04:05 -04:00
Dan Peebles
0372c87481 monosat: cbaf79cf -> 2deeadef
Upstream fixed a few things I needed to work around
2018-07-08 21:57:00 -04:00
Dan Peebles
631dd7a4e9 monosat: init at 1nx3wh34
Also includes the python and java bindings (although java is only
currently enabled on Linux)
2018-07-08 12:43:29 -04:00