There are 0 repository under picosat topic.
Desenvolvimento e produção de um picossatélite para realizações de medições atmosféricas e envio de telemetria por RF.
Haskell bindings for PicoSAT solver
Go (golang) bindings for Picosat, the satisfiability solver
SAT solver PicoSAT for javascript
PicoSAT bindings for R