Pinned Loading

1. checkedc/checkedc-clang checkedc/checkedc-clang Public

   This repo contains a version of clang that is being modified to support Checked C. Checked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe.

   C++ 503 74

2. MaplePainless-DC MaplePainless-DC Public

   A divide-and-conquer parallel SAT solver with machine learning based splitting heuristic.

   C 5 3

3. SAT-encoding SAT-encoding Public

   Encoding different problems into Boolean satisfiability

   C++ 11 6

4. BMMSAT BMMSAT Public

   This repository is for experimental codes on use of Bayesian Moment Matching in SAT/MAX-SAT solvers

   C++ 2 2

5. CDCL-Crypto CDCL-Crypto Public

   CDCL(Crypto) SAT solver for cryptanalysis problems

   C++ 9 1