Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 7 Logic Programming Sat Solver Open Source Projects

Open source projects categorized as Logic Programming Sat Solver
Categories > Programming Languages > Logic Programming
Categories > Security > Sat Solver
Gini ⭐ 125
A fast SAT solver
dependent packages 3total releases 33most recent commit 3 years ago
Gini ⭐ 121
A fast SAT solver
dependent packages 5total releases 23most recent commit 3 years ago
Diff Sat ⭐ 56
Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
most recent commit 3 months ago
Haskell Picosat ⭐ 13
Haskell bindings for PicoSAT solver
total releases 9most recent commit 4 years ago
Modulus ⭐ 10
A constraint solver built from scratch in OCaml
most recent commit 2 years ago
Rpicosat ⭐ 6
PicoSAT bindings for R
total releases 2most recent commit 2 years ago
Nodepicosat ⭐ 6
SAT solver PicoSAT for javascript
dependent packages 2total releases 6most recent commit 6 years agonpm picosat} Downloads
The 3 Most Depended On Logic Programming Sat Solver Open Source Projects
Gini ⭐ 121
A fast SAT solver
dependent packages 5total releases 23latest release January 31, 2019most recent commit 3 years ago
Gini ⭐ 125
A fast SAT solver
dependent packages 3total releases 33latest release August 26, 2021most recent commit 3 years ago
Nodepicosat ⭐ 6
SAT solver PicoSAT for javascript
dependent packages 2total releases 6latest release March 31, 2018most recent commit 6 years agonpm picosat} Downloads
The 5 Latest Releases In Logic Programming 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
Gini ⭐ 125
A fast SAT solver
dependent packages 3total releases 33latest release August 26, 2021most recent commit 3 years ago
Gini ⭐ 121
A fast SAT solver
dependent packages 5total releases 23latest release January 31, 2019most recent commit 3 years ago
Nodepicosat ⭐ 6
SAT solver PicoSAT for javascript
dependent packages 2total releases 6latest release March 31, 2018most recent commit 6 years agonpm picosat} Downloads
Rpicosat ⭐ 6
PicoSAT bindings for R
total releases 2latest release November 15, 2017most recent commit 2 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.