Soroka, E., Kochenderfer, M. J., & Lall, S. (2024). Satisfiability.jl: Satisfiability Modulo Theories in Julia. Journal of Open Source Software, 9(100), 6757. https://doi.org/10.21105/joss.06757