PySAT: A Python Toolkit for Prototyping with SAT Oracles
| Title | PySAT: A Python Toolkit for Prototyping with SAT Oracles |
| Publication Type | Conference Paper |
| Year of Publication | 2018 |
| Authors | Ignatiev, A., A. Morgado, and J. Marques-Silva |
| Conference Name | International Conference on Theory and Applications of Satisfiability Testing |
| Publisher | Springer |
