PySAT: a Python toolkit for prototyping with SAT oracles

DOI10.1007/978-3-319-94144-8_26zbMath1484.68215MaRDI QIDQ1656601

Alexey Ignatiev, João P. Marques-Silva, Antonio Morgado

Publication date: 10 August 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-94144-8_26

Mathematics Subject Classification ID

68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)

68V15: Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.)

Related Items

PySAT

Uses Software

• MiniSat
• NetworkX
• Graphviz
• CPLEX
• Gurobi
• SciPy
• NumPy
• Matplotlib
• Plingeling
• Glucose
• Scikit
• CryptoMiniSat
• PBLib
• Python
• pandas
• PyPI
• PyTorch
• MiFuMax
• pylgl
• PyMiniSolvers
• SATisPy