Popular repositories Loading

1. speedup-roundingSat speedup-roundingSat Public

   A improved version of RoundingSat PB solver.

   C++ 1

2. vnf-modeling-verigraph vnf-modeling-verigraph Public

   Master Thesis: the final version submitted in the end!

   Java

3. bundels bundels Public

4. rosjava_mvn_repo rosjava_mvn_repo Public

   Forked from rosjava/rosjava_mvn_repo

   Maven artifact repository for rosjava dependencies and builds.

   Shell

5. multiple-conflicts-analyzing-in-sat multiple-conflicts-analyzing-in-sat Public

   A new version of CaDiCaL SAT Solver for Multiple Conflicts Analyzing

   C++

6. symbolic-conflict-analysis symbolic-conflict-analysis Public

   A simple Pseudo-boolean solver with a novel symbolic conflict analysis procedure to strengthen reused lemmas between problems and estimate how far the solver is from finding an optimal solution.

   C++