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

GitHub topics: boolean-formulas

crillab/gophersat

gophersat, a SAT solver in Go

langage: Go - taille: 18,3 Mo - dernière synchronisation: il y a 5 jours - enregistré: il y a 12 mois - étoiles: 377 - forks: 22