tag:joss.theoj.org,2005:/papers/tagged/satisfiabilityJournal of Open Source Software2022-08-09T14:09:57ZJournal of Open Source Softwarehttps://joss.theoj.orgtag:joss.theoj.org,2005:Paper/36902022-08-09T14:09:57Z2022-08-10T00:01:11ZMallob: Scalable SAT Solving On Demand With Decentralized Job Schedulingacceptedv1.0.02022-06-29 13:27:02 UTC762022-08-09 14:09:57 UTC720224591PeterSandersKarlsruhe Institute of Technology, Germany0000-0003-3330-9349DominikSchreiberKarlsruhe Institute of Technology, Germany0000-0002-4185-185110.21105/joss.04591v1.1.0Pythonhttps://joss.theoj.org/papers/10.21105/joss.04591.pdfC++, online job scheduling, malleability, load balancing, propositional satisfiability, SAT solving, parallel processing, HPCtag:joss.theoj.org,2005:Paper/19962020-12-04T20:48:04Z2021-02-15T11:30:03ZCircuitGraph: A Python package for Boolean circuitsacceptedv0.0.12020-08-30 20:17:40 UTC562020-12-04 20:48:04 UTC520202646JosephSweeneyDepartment of Electrical and Computer Engineering, Carnegie Mellon University, Pittsburgh, PA 15213RubenPurdyDepartment of Electrical and Computer Engineering, Carnegie Mellon University, Pittsburgh, PA 15213RonaldD.BlantonDepartment of Electrical and Computer Engineering, Carnegie Mellon University, Pittsburgh, PA 15213LawrencePileggiDepartment of Electrical and Computer Engineering, Carnegie Mellon University, Pittsburgh, PA 1521310.21105/joss.02646https://doi.org/10.5281/zenodo.4302741Python, Coq, Verilog, SystemVeriloghttps://joss.theoj.org/papers/10.21105/joss.02646.pdfBoolean circuits, satisfiability, graph, electronic design automation