Topic: "picosat"
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++ - Size: 171 KB - Last synced at: about 2 months ago - Pushed at: about 3 years ago - Stars: 28 - Forks: 2
sdiehl/haskell-picosat
Haskell bindings for PicoSAT solver
Language: C - Size: 87.9 KB - Last synced at: 5 days ago - Pushed at: about 5 years ago - Stars: 17 - Forks: 5
wkschwartz/pigosat
Go (golang) bindings for Picosat, the satisfiability solver
Language: C - Size: 250 KB - Last synced at: 11 months ago - Pushed at: over 7 years ago - Stars: 15 - Forks: 4
sdiehl/picologic
Symbolic logic expressions
Language: Haskell - Size: 42 KB - Last synced at: about 1 month ago - Pushed at: almost 5 years ago - Stars: 14 - Forks: 5
dirkschumacher/nodepicosat
SAT solver PicoSAT for javascript
Language: JavaScript - Size: 107 KB - Last synced at: 16 days ago - Pushed at: about 7 years ago - Stars: 8 - Forks: 3
dirkschumacher/rpicosat
PicoSAT bindings for R
Language: R - Size: 90.8 KB - Last synced at: 10 days ago - Pushed at: over 3 years ago - Stars: 7 - Forks: 1
SpacialCircumstances/picosat
A fixed cross-platform version of picosat
Language: C - Size: 174 KB - Last synced at: about 2 years ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 0
