Sujet: "xcsp3"
crillab/metrics-solvers
This repository contains a collection of solver configuration files for the tool Metrics and XCSP Launcher.
taille: 43,9 ko - dernière synchronisation: il y a environ 6 heures - enregistré: il y a 2 mois - étoiles: 0 - forks: 0
crillab/autis
AUTIS library allows parsing combinatorial problem instances for different common formats.
langage: C++ - taille: 315 ko - dernière synchronisation: il y a environ 6 heures - enregistré: il y a environ 2 ans - étoiles: 0 - forks: 0