Mala1180 / PPS-22-satifyLinks
A pure functional Scala SAT solver
☆10Updated 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
Sorting:
- Appunti in LaTex di metodi numerici: aa 2020/2021☆11Updated 4 years ago
- 🚀 Vue 3 MultiLanguage Portfolio Template! 🌍 Built with Vite, Quasar, and Pinia for a smooth, high-performance experience. CI/CD powere…☆12Updated 6 months ago
- Aggregate Computing in Kotlin Multiplatform☆18Updated this week
- Repositório de código das aulas de AVE 2018-19 semestre Verão turma i41d☆10Updated 3 years ago
- Resume for Software Engineers 👨🏻💻☆115Updated last year
- ☆22Updated last week
- Servizio gratuito che consente a tutti gli studenti Unibo di aggiungere l'orario delle lezioni al proprio calendario, filtrando solo quel…☆27Updated last year
- A web player application that implements MSE, EME, ABR, and parses DASH manifests.☆10Updated 10 months ago
- Repository for the LI51D and LI51N class sessions, 2020/2021 Winter semester☆17Updated 4 years ago
- If you're new to DDD and not sure where to start, this process will guide you step-by-step☆5,319Updated 6 months ago
- Punto di aggregazione per materiale (esami, appunti, suggerimenti, ecc.) utile agli studenti per la vita universitaria.☆238Updated last week
- Repositório das aulas de PI da turma LI52D do 1º semestre de 2019-20☆21Updated 5 years ago
- "Sossoldi" is a wealth management / personal finance / Net Worth tracking app, made with Flutter.☆1,209Updated last week
- Web Application Development - Spring 2018☆27Updated 7 years ago
- A template repository for submitting a job to the Slurm Cluster installed at the DISI - University of Bologna☆24Updated last year
- Date and topics of Poznań JUG meetings☆11Updated last year
- ☆10Updated 4 years ago
- Un progetto collaborativo per espandere l'universo di Cnot: light novel, colonna sonora, mappa dei luoghi, timeline, e altro☆72Updated last month
- 📖 A thesis LaTeX template that complies with the University of Aveiro's guidelines and provides a simple CLI workflow around make and co…☆110Updated 8 months ago
- This repository holds the solutions to the exercise sheets found in the practical lessons of PFL.☆14Updated 2 years ago
- The Orione Team Learning Path☆346Updated 4 years ago
- Strumento per la gestione delle squadre di Fantacalcio, progettato per aiutare i partecipanti a ottimizzare le loro scelte durante l'asta☆14Updated 11 months ago
- Materiali per il corso di Programmazione ad Oggetti mod. 2, a.a. 2018 @ DAIS Ca' Foscari☆62Updated 7 months ago
- Progetti Corso Gestione di Rete☆14Updated last month
- Web Application Development - Fall 2023/2024☆12Updated last year
- a galactic reverse interview guide, simple!☆187Updated 9 months ago
- Software for the Tablut Students Competition☆25Updated last year
- Gradle plugin with integrationTest task☆90Updated 2 weeks ago
- Definitions of DDD and fundamental concepts to reduce the learning curve and confusion☆1,422Updated 3 years ago
- SQL made uagliò.☆1,358Updated 2 years ago