Data

Tools

Indexes

Applications

Experiments

Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: constraints

crillab/gophersat

gophersat, a SAT solver in Go

langage: Go - taille: 18,4 Mo - dernière synchronisation: il y a 6 jours - enregistré: il y a 9 mois - étoiles: 386 - forks: 24

Related Keywords
artificial-intelligence 1 boolean-formulas 1 constraint-satisfaction-problem 1 constraints 1 pseudo-boolean-solver 1 sat-solver 1