Commit Graph

3 Commits

Author SHA1 Message Date
Vitor Santos Costa
5cd9720593 DFA and TupleSet 2013-09-12 10:17:59 +01:00
Vitor Santos Costa
12d1e17dd3 first cut at supporting TupleSets 2013-09-11 12:31:07 +01:00
vsc
6ab396ee85 support for gecode 4, reification, initial floats 2013-09-04 04:50:32 -05:00