All Categories → No Category → picosat

Top 3 picosat open source projects

Go (golang) bindings for Picosat, the satisfiability solver

✭ 15

c go optimization optimizer np-hard np-complete satsolver picosat satisfiability-solver

haskell-picosat

Haskell bindings for PicoSAT solver

✭ 15

c haskell logic picosat sat-solver picosat-solver

Desenvolvimento e produção de um picossatélite para realizações de medições atmosféricas e envio de telemetria por RF.

✭ 26

C++python satellite picosat cubesat rf cansat satelite

1-3 of 3 picosat projects