Skip to content
  • kilian.sprotte's avatar
    big update · 02df92e4
    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