Skip to content
  1. Feb 06, 2007
    • kilian.sprotte's avatar
      indent · f91a7a93
      kilian.sprotte authored
      darcs-hash:a85160d0dfda28b8b82509f62e56f18493aca9f3
      f91a7a93
  2. Jan 08, 2007
    • 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
  3. Dec 21, 2006
  4. Dec 07, 2006