-
kilian.sprotte authored
The API resembles much more the original gecode one. Added support for finite sets. Can now use BAB search. darcs-hash:c8b49fada41ba5aa80c664ef972fb715a5410588
02df92e4
The API resembles much more the original gecode one. Added support for finite sets. Can now use BAB search. darcs-hash:c8b49fada41ba5aa80c664ef972fb715a5410588