PySAT: A Python Toolkit for Prototyping with SAT Oracles

TitlePySAT: A Python Toolkit for Prototyping with SAT Oracles
Publication TypeConference Paper
Year of Publication2018
AuthorsIgnatiev, A., A. Morgado, and J. Marques-Silva
Conference NameInternational Conference on Theory and Applications of Satisfiability Testing
PublisherSpringer