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 1 jour - enregistré: il y a 7 mois - étoiles: 385 - forks: 23

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