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