picosat

Here are 8 public repositories matching this topic...

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

c satellite picosat cubesat rf cansat satelite

Haskell bindings for PicoSAT solver

haskell logic haskell-library picosat logic-programming sat-solver picosat-solver

Go (golang) bindings for Picosat, the satisfiability solver

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

Symbolic logic expressions

haskell logic haskell-library picosat sat-solver

SAT solver PicoSAT for javascript

logic picosat node-module logic-programming sat-solver picosat-solver

PicoSAT bindings for R

r logic picosat logic-programming sat-solver sat satisfiability

Simple CDCL SAT solver

solver picosat cnf sat dimacs cdcl microsat

A fixed cross-platform version of picosat

picosat sat-solver sat

To associate your repository with the picosat topic, visit your repo's landing page and select "manage topics."