search

UnitTestBot / ksmt

Kotlin/Java API for various SMT solvers
https://ksmt.io/
Apache License 2.0
30 stars 14 forks source link

NeuroSMT solver #130

Open stephen-ostapenko opened 1 year ago

stephen-ostapenko commented 1 year ago

PR with progress of "NeuroSMT" project during 2023 summer internship