Commit graph

3 commits

Author SHA1 Message Date
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