Mala1180 / PPS-22-satifyLinks
A pure functional Scala SAT solver
☆10Updated 2 years ago
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:
- A distributed real-time system for video surveillance☆10Updated this week
- 🚀 Vue 3 MultiLanguage Portfolio Template! 🌍 Built with Vite, Quasar, and Pinia for a smooth, high-performance experience. CI/CD powere…☆12Updated 8 months ago
- Appunti in LaTex di metodi numerici: aa 2020/2021☆11Updated 4 years ago
- If you're new to DDD and not sure where to start, this process will guide you step-by-step☆5,417Updated 2 months ago
- Aggregate Computing in Kotlin Multiplatform☆22Updated this week
- Software for the Tablut Students Competition☆24Updated last year
- An esoteric programming language, come se fosse antani.☆1,371Updated last year
- Definitions of DDD and fundamental concepts to reduce the learning curve and confusion☆1,450Updated 3 years ago
- The Orione Team Learning Path☆345Updated 5 years ago
- Appunti laurea magistrale UniMib☆17Updated 6 months ago
- Repositório de código das aulas de AVE 2018-19 semestre Verão turma i41d☆10Updated 4 years ago
- The QMates learning path☆13Updated last month
- PyRCODIO - Python Routines for COsmology and Data Input/Output☆205Updated 4 years ago
- Web Application Development - Fall 2023/2024☆12Updated last year
- Calcoliamo l'inflazione dal basso in difesa delle nostre zie 👵, contro le supercazzole del governo☆90Updated 3 years ago
- Perché per Python ci vuole la RUSPA!!!☆118Updated 4 years ago
- 📖 A thesis LaTeX template that complies with the University of Aveiro's guidelines and provides a simple CLI workflow around make and co…☆118Updated 3 weeks ago
- A web player application that implements MSE, EME, ABR, and parses DASH manifests.☆10Updated last year
- SQL made uagliò.☆1,367Updated 2 years ago
- Bomberman clone for AI teaching☆15Updated 5 years ago
- ☆113Updated last year
- A structured approach to designing and documenting each of your bounded contexts☆1,983Updated 5 months ago
- ☆57Updated 5 years ago
- Web Application Development - Spring 2019 Semester☆14Updated 2 years ago
- ☆25Updated this week
- Resume for Software Engineers 👨🏻💻☆120Updated last year
- A journey to discover AI and AI assistants for developers☆22Updated last year
- ☆121Updated 8 months ago
- a galactic reverse interview guide, simple!☆190Updated last year
- A list of remote-friendly or full-remote companies that targets Italian talents.☆2,558Updated 3 weeks ago