tudo-aqua/z3-turnkey
Build system for Z3 that creates a self-unpacking, standalone JAR file that ships all required native support code and automatically unpacks it at runtime.
Kotlin
Stargazers
- baoluomengGE Research
- breandan@mila-iqia
- cloudpandaChina
- Daschi1Earth
- espresso-if
- FangStars
- fhowar
- guilhermehasChalmers
- IvanAtDealEngine@deal-engine-inc
- ivanmoreau/dev/méxico
- knalliGermany
- konnovIndependent
- lsafinaINRIA
- nguyenvietyen@hypefactors
- sequencerWuhan, China
- tgengPinterest, Inc.
- timosntrDortmund, Germany
- TinusTinus
- viktoriia-fomina
- windddNortheastern University
- zhu-he
- zphwNew York, NY