5 Commits

Author	SHA1	Message	Date
Laurent Perron	b951e589de	more work on sat and flatzinc	2016-10-07 17:29:33 +02:00
Laurent Perron	dce08dda1b	more work on SAT to support CP constraints	2016-10-05 13:53:30 +02:00
Laurent Perron	9875d5c65a	more work on sat/fz	2016-09-22 15:18:08 +02:00
Laurent Perron	08f556c520	more work on sat; initial connection to the flatzinc interpreter	2016-09-22 13:55:16 +02:00
Laurent Perron	293d224c9f	renamed sat code	2016-09-12 13:51:04 +02:00