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 |
|