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 jours - enregistré: il y a 5 jours - étoiles: 5 - forks: 0

crillab/gophersat

gophersat, a SAT solver in Go

langage: Go - taille: 18,4 Mo - dernière synchronisation: il y a 2 jours - enregistré: il y a 8 mois - étoiles: 386 - forks: 23

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