πΏ SAT solver wrappers for Kotlin
β11Mar 2, 2024Updated 2 years ago
Alternatives and similar repositories for kotlin-satlib
Users that are interested in kotlin-satlib are comparing it to the libraries listed below
Sorting:
- Regular Invariant Generator and SMTLIB2 code transformerβ13Aug 8, 2022Updated 3 years ago
- Kotlin/Java API for various SMT solversβ36Oct 8, 2025Updated 4 months ago
- A superior pairing functionβ15Dec 10, 2018Updated 7 years ago
- πΈ Augmened reality for trace link navigation.β18Dec 23, 2022Updated 3 years ago
- β21Jan 8, 2017Updated 9 years ago
- For when you are stuck in Java 8 but want to use new language features and dependenciesβ29Aug 23, 2022Updated 3 years ago
- A platform for analysis of Java bytecodeβ39Oct 14, 2024Updated last year
- 5GTANGO Smart Manufacturing Pilotβ13May 1, 2023Updated 2 years ago
- Take control of your friends wallpapersβ14Mar 11, 2024Updated last year
- JEI/REI/EMI plugin that displays breeding informationβ13Feb 8, 2026Updated 3 weeks ago
- Litmus testing tool for Kotlin/Nativeβ71Apr 22, 2025Updated 10 months ago
- Embeddable WebAssembly Interpreter for the JVM, written in Kotlinβ41Apr 19, 2021Updated 4 years ago
- A toy functional language based on modal type theory. Try it online: https://mtt-lang.github.io/mtt-webβ47May 29, 2022Updated 3 years ago
- β12Nov 22, 2024Updated last year
- Opinionated tool to typeset theorems, lemmas and suchβ30Feb 4, 2026Updated last month
- Updated repository of the webcam headtracker