#

picosat

Here are 4 public repositories matching this topic...

sdiehl / haskell-picosat

Haskell bindings for PicoSAT solver

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

Updated May 6, 2020
C

wkschwartz / pigosat

Go (golang) bindings for Picosat, the satisfiability solver

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

Updated Feb 18, 2018
C

glnc / microsat

Simple CDCL SAT solver

solver picosat cnf sat dimacs cdcl microsat

Updated May 14, 2020
C

SpacialCircumstances / picosat

A fixed cross-platform version of picosat

picosat sat-solver sat

Updated May 3, 2020
C

Improve this page

Add a description, image, and links to the picosat topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

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