Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 6 Logic Sat Solver Open Source Projects

Open source projects categorized as Logic Sat Solver
Categories > Security > Sat Solver
Haskell Picosat ⭐ 13
Haskell bindings for PicoSAT solver
total releases 9most recent commit 4 years ago
Picologic ⭐ 11
Symbolic logic expressions
total releases 5most recent commit 4 years ago
Modulus ⭐ 10
A constraint solver built from scratch in OCaml
most recent commit 2 years ago
Bill ⭐ 9
C++ header-only reasoning library
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 4 Latest Releases In Logic 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
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
Picologic ⭐ 11
Symbolic logic expressions
total releases 5latest release May 22, 2017most recent commit 4 years ago
Popular Learning Resources Categories
Tutorials
Paper
Book
Programming
Course
Article
Education
Hack
Cookbook
University
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.