Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 16 Python Sat Solver Open Source Projects

Open source projects categorized as Python Sat Solver
Categories > Security > Sat Solver
Tt ⭐ 197
a Pythonic toolkit for working with Boolean expressions
dependent packages 1total releases 10most recent commit 4 years agopypi ttable} Downloads
Neurosat ⭐ 154
NeuroSAT: Learning a SAT Solver from Single-Bit Supervision
most recent commit 5 years ago
Minizinc Python ⭐ 127
Access to all MiniZinc functionality directly from Python
dependent packages 8total releases 23most recent commit 3 months agopypi minizinc} Downloads
Simple Sat ⭐ 97
Simple recursive and iterative SAT solver written in Python.
most recent commit 5 years ago
Satispy ⭐ 47
An interface to SAT solver tools (like minisat)
total releases 7most recent commit 6 years ago
Docker Images ⭐ 36
SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers
total releases 17most recent commit 2 years ago
Pysat ⭐ 9
Simple SAT solver with CDCL implemented in Python
most recent commit a year ago
Eevbnn ⭐ 9
Code for the NeurIPS 2020 paper Efficient Exact Verification of Binarized Neural Networks
most recent commit 2 years ago
Satsolver ⭐ 9
A simple SAT solver implemented in Python
most recent commit 13 years ago
Mcsatan ⭐ 8
A diabolic implementation of mcSAT 😈
most recent commit 3 years ago
Evoguess Ai ⭐ 7
Component for finding decomposition sets and estimating hardness of SAT instances.
most recent commit 3 months ago
Fond Sat ⭐ 7
FOND solver based on SAT
most recent commit 3 years ago
Satpie ⭐ 7
SAT solver based on CDCL in Python with Conflict Driven Clause Learning, clever Heuristics - VSIDS, 2 - Literal watch advanced data structure, Random restarts with restart probability decay
most recent commit 4 years ago
Dpll Sat ⭐ 6
Simple Python implementation of a Complete/Systematic SAT Solver with the DPLL algorithm
most recent commit 6 years ago
Sudoku Cnf Generator ⭐ 6
most recent commit 12 years ago
Sat Sudoku Solver ⭐ 5
A SAT-based sudoku solver
most recent commit 2 years ago
The 2 Most Depended On Python Sat Solver Open Source Projects
Minizinc Python ⭐ 127
Access to all MiniZinc functionality directly from Python
dependent packages 8total releases 23latest release March 02, 2022most recent commit 3 months agopypi minizinc} Downloads
Tt ⭐ 197
a Pythonic toolkit for working with Boolean expressions
dependent packages 1total releases 10latest release May 11, 2020most recent commit 4 years agopypi ttable} Downloads
The 4 Latest Releases In Python Sat Solver Open Source Projects
Minizinc Python ⭐ 127
Access to all MiniZinc functionality directly from Python
dependent packages 8total releases 23latest release March 02, 2022most recent commit 3 months agopypi minizinc} Downloads
Tt ⭐ 197
a Pythonic toolkit for working with Boolean expressions
dependent packages 1total releases 10latest release May 11, 2020most recent commit 4 years agopypi ttable} Downloads
Satispy ⭐ 47
An interface to SAT solver tools (like minisat)
total releases 7latest release August 17, 2018most recent commit 6 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.