Mala1180 / PPS-22-satify
A pure functional Scala SAT solver
β9Updated last year
Alternatives and similar repositories for PPS-22-satify:
Users that are interested in PPS-22-satify are comparing it to the libraries listed below
- A game based on building, trading and farming resourcesβ9Updated last year
- π Vue 3 MultiLanguage Portfolio Template! π Built with Vite, Quasar, and Pinia for a smooth, high-performance experience. CI/CD powereβ¦β13Updated last month
- Appunti in LaTex di metodi numerici: aa 2020/2021β11Updated 3 years ago
- A microservices chat app, kotlin based.β11Updated last week
- β18Updated this week
- JaKtA is a Kotlin internal DSL for the definition of BDI agents.β8Updated this week
- Aggregate Computing in Kotlin Multiplatformβ13Updated this week
- scafi (Scala with computational Fields): a Scala framework for Aggregate Computingβ25Updated 2 weeks ago
- Date and topics of PoznaΕ JUG meetingsβ11Updated last year
- Servizio gratuito che consente a tutti gli studenti Unibo di aggiungere l'orario delle lezioni al proprio calendario, filtrando solo quelβ¦β27Updated last year
- Tabboz Simulator