4 Commits

Author	SHA1	Message	Date
lperron@google.com	4e7bfca379	fix	2014-07-08 16:59:01 +00:00
lperron@google.com	81bc4c3cbb	fix	2014-07-08 16:57:20 +00:00
lperron@google.com	cda92d5dbd	fixes	2014-07-08 16:35:59 +00:00
lperron@google.com	6f25f38898	introduce glop, our own linear programming solver; improve sat	2014-07-08 09:27:02 +00:00