Data

Tools

Indexes

Applications

Experiments

Repos

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

GitHub topics: sat-solver

crillab/gophersat

gophersat, a SAT solver in Go

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

INRIA/ocaml-ortools

OCaml interface to (parts of) Google OR-Tools

langage: C++ - taille: 37,7 Mo - dernière synchronisation: il y a 4 jours - enregistré: il y a environ un mois - étoiles: 6 - forks: 1

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