picosat

There are 0 repository 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.
c satelite satellite picosat cansat cubesat rf
Language:C++ 28
sdiehl / haskell-picosat
Haskell bindings for PicoSAT solver
picosat picosat-solver haskell haskell-library sat-solver logic-programming logic
Language:C 16
wkschwartz / pigosat
Go (golang) bindings for Picosat, the satisfiability solver
picosat c golang satisfiability-solver satsolver np-complete np-hard optimization optimizer
Language:C 15
sdiehl / picologic
Symbolic logic expressions
picosat sat-solver haskell haskell-library logic
Language:Haskell 14
dirkschumacher / nodepicosat
SAT solver PicoSAT for javascript
picosat picosat-solver sat-solver node-module logic logic-programming
Language:JavaScript 8
dirkschumacher / rpicosat
PicoSAT bindings for R
logic logic-programming picosat r sat sat-solver satisfiability
Language:R 6
glnc / microsat
Simple CDCL SAT solver
microsat picosat sat solver dimacs cnf cdcl
Language:C 2
SpacialCircumstances / picosat
A fixed cross-platform version of picosat
sat sat-solver picosat
Language:C 1