TY  - RPRT
TI  - Satisfiability.jl: Satisfiability Modulo Theories in Julia
AU  - Emiko Soroka
AU  - Mykel J. Kochenderfer
AU  - Sanjay Lall
PY  - 2023
DO  - 10.21105/joss.06757
UR  - https://arxiv.org/abs/2309.08778
ID  - 2309.08778
ER  -