JOSS Papers: satisfiability

All Papers
4066
 Published Papers
3634
 Active Papers
432
published Published almost 2 years ago

Satisfiability.jl: Satisfiability Modulo Theories in Julia

Julia
@elsoroka
10.21105/joss.06757
published Published almost 4 years ago

Mallob: Scalable SAT Solving On Demand With Decentralized Job Scheduling

Python
@domschrei
10.21105/joss.04591
published Published over 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