GitHub / crillab / nacre_mini
NACRE : Nogood And Clause Reasoning Engine
JSON API: https://data.code.gouv.fr/api/v1/hosts/GitHub/repositories/crillab%2Fnacre_mini
Stars: 6
Forks: 4
Open issues: 0
License: gpl-3.0
Language: C++
Size: 187 KB
Dependencies parsed at: Pending
Created at: about 7 years ago
Updated at: almost 6 years ago
Pushed at: almost 6 years ago
Last synced at: 6 days ago
Topics: clause, constraint-programming, csp, nacre, nacre-mini, nogood, solver
Readme
Loading...