GitHub topics: xcsp3
crillab/metrics-solvers
This repository contains a collection of solver configuration files for the tool Metrics and XCSP Launcher.
Size: 36.1 KB - Last synced at: 5 days ago - Pushed at: 8 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: 6 days ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0