-
CVC4 Public
Forked from ajreynol/CVC4CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
SMT Other UpdatedMay 30, 2025 -
kondylidou.github.io Public template
Forked from alshedivat/al-folioHTML MIT License UpdatedMay 11, 2025 -
CDCL-support-by-BDD-methods Public
Exchange information between SAT solvers
-
master_thes_code Public
A BDD library written in Rust to support a CDCL Sat Solver like Glucose, while running in parallel.
-
cov_check Public
CovCheck is a WebApp implemented in Haskell. It provides real time informations about the current situation of COVID-19 Worldwide and enables an automatic test (Quiz) to check whether someones is i…
Haskell UpdatedMay 26, 2023 -
manipulation_simulation Public
This project is a computer simulation of a multi-agent extended prisoner’s dilemma using manipulation. The aim is to investigate if the outcome for all agents is better with or without the possibil…
Python UpdatedMay 26, 2023