search

elsoroka / Satisfiability.jl

Specify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.
https://elsoroka.github.io/Satisfiability.jl/
MIT License
29 stars 4 forks source link

Joss paper documentation update #58

Closed elsoroka closed 3 months ago

elsoroka commented 3 months ago

Better description of using custom solvers in documentation.