Data

Tools

Indexes

Applications

Experiments

Repos

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

GitHub topics: sat-solver

INRIA/ocaml-ortools

OCaml interface to (parts of) Google OR-Tools

langage: C++ - taille: 37,7 Mo - dernière synchronisation: il y a 2 mois - enregistré: il y a 3 mois - étoiles: 6 - forks: 2

crillab/gophersat

gophersat, a SAT solver in Go

langage: Go - taille: 18,4 Mo - dernière synchronisation: il y a 2 mois - enregistré: il y a environ un an - étoiles: 388 - forks: 24

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