Added Just-the-docs theme

UnitTestBot / ksmt

Kotlin/Java API for various SMT solvers

https://ksmt.io/

Apache License 2.0

30 stars 14 forks source link

Closed olganaumenko closed 1 year ago

olganaumenko commented 1 year ago

Updated website with the Just-the-docs theme. Added workflow for publishing (build + deploy).