Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for python sat solver
python
x
sat-solver
x
15 search results found
Tt
⭐
197
a Pythonic toolkit for working with Boolean expressions
Neurosat
⭐
154
NeuroSAT: Learning a SAT Solver from Single-Bit Supervision
Minizinc Python
⭐
127
Access to all MiniZinc functionality directly from Python
Simple Sat
⭐
97
Simple recursive and iterative SAT solver written in Python.
Satispy
⭐
47
An interface to SAT solver tools (like minisat)
Docker Images
⭐
36
SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers
Pysat
⭐
9
Simple SAT solver with CDCL implemented in Python
Eevbnn
⭐
9
Code for the NeurIPS 2020 paper Efficient Exact Verification of Binarized Neural Networks
Satsolver
⭐
9
A simple SAT solver implemented in Python
Mcsatan
⭐
8
A diabolic implementation of mcSAT 😈
Evoguess Ai
⭐
7
Component for finding decomposition sets and estimating hardness of SAT instances.
Fond Sat
⭐
7
FOND solver based on SAT
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
Dpll Sat
⭐
6
Simple Python implementation of a Complete/Systematic SAT Solver with the DPLL algorithm
Sudoku Cnf Generator
⭐
6
Sat Sudoku Solver
⭐
5
A SAT-based sudoku solver
Related Searches
Python Django (28,897)
Python Machine Learning (20,195)
Python Flask (17,643)
Python Jupyter Notebook (16,243)
Python Dataset (14,792)
Python Docker (13,758)
Python Tensorflow (13,736)
Python Command Line (13,351)
Python Deep Learning (13,092)
Python Network (11,495)
1-15 of 15 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.