Popular repositories Loading

1. UWrMaxSat UWrMaxSat Public

   Forked from karpiu/kp-minisatp

   UWrMaxSat is a relatively new MiniSat+-based solver participating in MaxSAT Evaluation 2019, where it ranked second places in both main tracks (weighted and unweighted). In MaxSAT Evaluation 2020 …

   C++ 29 4

2. cominisatps cominisatps Public

   COMiniSatPS by Chanseok Oh from SAT Competition 2016

   C++ 1