Software repository
Paper review
Download paper
Software archive
Review
Editor: @diehlpk (all papers)
Reviewers: @rafaelbailo (all reviews), @dpsanders (all reviews), @computablee (all reviews)
Authors
Emiko Soroka (0009-0001-2710-469X), Mykel J. Kochenderfer (0000-0002-7238-9663), Sanjay Lall (0000-0002-1783-5309)
Citation
Soroka et al., (2024). Satisfiability.jl: Satisfiability Modulo Theories in Julia. Journal of Open Source Software, 9(100), 6757, https://doi.org/10.21105/joss.06757
@article{Soroka2024,
doi = {10.21105/joss.06757},
url = {https://doi.org/10.21105/joss.06757},
year = {2024},
publisher = {The Open Journal},
volume = {9},
number = {100},
pages = {6757},
author = {Emiko Soroka and Mykel J. Kochenderfer and Sanjay Lall},
title = {Satisfiability.jl: Satisfiability Modulo Theories in Julia},
journal = {Journal of Open Source Software}
}
Tags
formal verification satisfiability modulo theories
Altmetrics
Markdown badge
License
Authors of JOSS papers retain copyright.
This work is licensed under a Creative Commons Attribution 4.0 International License.
