JOSS Papers: satisfiability

All Papers
3873
 Published Papers
3284
 Active Papers
589
published Published about 1 year ago

Satisfiability.jl: Satisfiability Modulo Theories in Julia

Julia
@elsoroka
10.21105/joss.06757
published Published over 3 years ago

Mallob: Scalable SAT Solving On Demand With Decentralized Job Scheduling

Python
@domschrei
10.21105/joss.04591
published Published almost 5 years ago

CircuitGraph: A Python package for Boolean circuits

Python Coq Verilog SystemVerilog
@jpsety
10.21105/joss.02646
Displaying 3 papers

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