Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 6 Haskell Sat Solver Open Source Projects

Open source projects categorized as Haskell Sat Solver
Categories > Security > Sat Solver
Toysolver ⭐ 145
My sandbox for experimenting with solver algorithms.
total releases 15most recent commit 10 months ago
Ersatz ⭐ 61
A monad for interfacing with external SAT solvers
total releases 27most recent commit 4 months ago
Mios ⭐ 24
A SAT solver written in Haskell.
total releases 6most recent commit 6 years ago
Haskell Picosat ⭐ 13
Haskell bindings for PicoSAT solver
total releases 9most recent commit 4 years ago
Satplus ⭐ 12
most recent commit a year ago
Picologic ⭐ 11
Symbolic logic expressions
total releases 5most recent commit 4 years ago
The 5 Latest Releases In Haskell Sat Solver Open Source Projects
Haskell Picosat ⭐ 13
Haskell bindings for PicoSAT solver
total releases 9latest release December 02, 2023most recent commit 4 years ago
Ersatz ⭐ 61
A monad for interfacing with external SAT solvers
total releases 27latest release September 18, 2023most recent commit 4 months ago
Toysolver ⭐ 145
My sandbox for experimenting with solver algorithms.
total releases 15latest release September 20, 2022most recent commit 10 months ago
Mios ⭐ 24
A SAT solver written in Haskell.
total releases 6latest release October 07, 2018most recent commit 6 years ago
Picologic ⭐ 11
Symbolic logic expressions
total releases 5latest release May 22, 2017most recent commit 4 years ago
Popular Programming Languages Categories
Python
Javascript
Java
Typescript
C Plus Plus
Php
Golang
C
C Sharp
Shell
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.