Scientific Software
Updated 9 months ago
Satisfiability.jl
Satisfiability.jl: Satisfiability Modulo Theories in Julia - Published in JOSS (2024)
Scientific Software · Peer-reviewed