@elsoroka
published Published over 2 years ago
Mallob: Scalable SAT Solving On Demand With Decentralized Job Scheduling
Python
@domschrei
published Published over 4 years ago
Journal of Open Source Software is an affiliate of the Open Source Initiative.
Journal of Open Source Software is part of Open Journals, which is a NumFOCUS-sponsored project.
Table of Contents
Public user content licensed CC BY 4.0 unless otherwise specified.
ISSN 2475-9066
@jpsety