1. 06 Feb, 2007 2 commits
  2. 09 Jan, 2007 1 commit
  3. 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
  4. 21 Dec, 2006 3 commits
  5. 07 Dec, 2006 3 commits
    • kilian.sprotte's avatar
      small ch · cd829cac
      kilian.sprotte authored
      darcs-hash:b28533b02e89787ef37f6d9c46ebf65e6ecdfc86
      cd829cac
    • kilian.sprotte's avatar
      asd file · 2019ecf6
      kilian.sprotte authored
      darcs-hash:b3bd1a087666d338dc6c8ab0bb91314fd575e5d1
      2019ecf6
    • kilian.sprotte's avatar
      initial import · dffd2290
      kilian.sprotte authored
      darcs-hash:9af3205c9a070eee3260c19ca9ee1bd634d85af2
      dffd2290
  6. 24 Nov, 2006 1 commit
    • paul's avatar
      small change · 4dc2cf29
      paul authored
      darcs-hash:bc859e52d5b6b09815a40e0577293e20dd458225
      4dc2cf29
  7. 23 Nov, 2006 1 commit