https://github.com/ptal/kobe
Constraint benchmarking tools for various solvers including GeCode, Chuffed and AbSolute.
https://github.com/ptal/kobe
benchmarking combinatorial constraint-solver
Last synced: 26 days ago
JSON representation
Constraint benchmarking tools for various solvers including GeCode, Chuffed and AbSolute.
- Host: GitHub
- URL: https://github.com/ptal/kobe
- Owner: ptal
- License: apache-2.0
- Created: 2019-08-19T15:56:34.000Z (almost 7 years ago)
- Default Branch: master
- Last Pushed: 2021-03-22T18:39:00.000Z (about 5 years ago)
- Last Synced: 2023-04-09T13:55:15.745Z (about 3 years ago)
- Topics: benchmarking, combinatorial, constraint-solver
- Language: OCaml
- Size: 381 KB
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 1