Popular repositories Loading

1. master_thes_code master_thes_code Public

   A BDD library written in Rust to support a CDCL Sat Solver like Glucose, while running in parallel.

   C++ 3

2. manipulation_simulation 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

3. cov_check 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

4. kondylidou.github.io kondylidou.github.io Public template

   Forked from alshedivat/al-folio

   HTML

5. CDCL-support-by-BDD-methods CDCL-support-by-BDD-methods Public

   Exchange information between SAT solvers

   Makefile

6. CVC4 CVC4 Public

   Forked from ajreynol/CVC4

   CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

   SMT