Topic: "xcsp3"
crillab/metrics-solvers
This repository contains a collection of solver configuration files for the tool Metrics and XCSP Launcher.
Size: 43 KB - Last synced at: 3 days ago - Pushed at: 17 days ago - Stars: 0 - Forks: 0
crillab/autis
AUTIS library allows parsing combinatorial problem instances for different common formats.
Language: C++ - Size: 315 KB - Last synced at: 3 days ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0