Topic: "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: about 15 hours ago - Pushed at: about 1 month 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: 1 day ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0