GitHub / crillab / metrics-solvers
This repository contains a collection of solver configuration files for the tool Metrics and XCSP Launcher.
JSON API: https://repos.data.code.gouv.fr/api/v1/hosts/GitHub/repositories/crillab%2Fmetrics-solvers
Stars: 0
Forks: 0
Open issues: 0
License: cc-by-4.0
Language:
Size: 36.1 KB
Dependencies parsed at: Pending
Created at: 8 months ago
Updated at: 10 days ago
Pushed at: 10 days ago
Last synced at: about 16 hours ago
Topics: awesome-list, crillab-metrics, solver, solver-configuration, tootatis, xcsp-launcher, xcsp3
Readme
Loading...