Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for python sat
python
x
sat
x
13 search results found
Factorio Sat
⭐
307
Enhancing the Factorio experience with SAT solvers
Tt
⭐
197
a Pythonic toolkit for working with Boolean expressions
Inventorloader
⭐
78
Workbench for FreeCAD to loads or import Autodesk (R) Inventor (R) files.
Docker Images
⭐
36
SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers
Cqsat
⭐
26
业余无线电助手,基于Nonebot2
Smpt
⭐
26
SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral reductions).
Python Satcfdi
⭐
23
The best open-source python library to generate and process SAT's CFDI
Hash_framework
⭐
10
Framework for studying cryptographic hash functions using SAT.
Autoguess
⭐
10
An easy-to-use, general and open-source tool to search for guess-and-determine attacks and key bridges
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
Robbin
⭐
6
🔠 an open dictions platform (both students and developers are welcome!)
Cmsh
⭐
6
High-level interfaces over @msoos's CryptoMiniSat.
Satautograder
⭐
5
Grades the reading section of a SAT collegboard form given a picture
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-13 of 13 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.