7 Commits

Author	SHA1	Message	Date
Aiken Cairncross	15dbd8de7c	monosat: 60528a3 -> 1.8.0 ... This fixes the broken Linux build by only building the dynamic library/ executable (an option that was only added in the latest tagged version).	2019-10-15 16:52:25 -04:00
Aiken Cairncross	b4da391ade	monosat: Add self as maintainer	2019-10-15 12:20:55 +01:00
Linus Heckemann	5aa4b19946	treewide: mark some broken packages as broken ... Refs: e675498026 1e9cc5b984 793a2fe1e8 c19cf65261 f6544d618f	2019-10-08 17:14:26 +02:00
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