picosat topic

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

vmeazevedo

Haskell bindings for PicoSAT solver

sdiehl

Go (golang) bindings for Picosat, the satisfiability solver

wkschwartz