picosat

There are 8 repositories under picosat topic.

vmeazevedo/Picosat_Horus
Desenvolvimento e produção de um picossatélite para realizações de medições atmosféricas e envio de telemetria por RF.
Language:C++29 4 12
sdiehl/haskell-picosat
Haskell bindings for PicoSAT solver
Language:C16 4 25
wkschwartz/pigosat
Go (golang) bindings for Picosat, the satisfiability solver
Language:C15 4 194
sdiehl/picologic
Symbolic logic expressions
Language:Haskell14 5 05
dirkschumacher/nodepicosat
SAT solver PicoSAT for javascript
Language:JavaScript8 5 33
dirkschumacher/rpicosat
PicoSAT bindings for R
Language:R6 3 4
glnc/microsat
Simple CDCL SAT solver
Language:C2 2 41
SpacialCircumstances/picosat
A fixed cross-platform version of picosat
Language:C1 2 0