Popular repositories Loading

1. cadical-rs cadical-rs Public archive

   Forked from mmaroti/cadical-rs

   Rust bindings for the CaDiCaL SAT solver

   C++ 2 2

2. hwmcc_analyze hwmcc_analyze Public

   Simple script for figuring out which problems in HWMCC are yet to be solved.

   Python 2

3. cadical-sys cadical-sys Public

   Unsafe system level bindings of the cadical sat solver written in C++

   Rust 2 4

4. operate_first_prometheus_data operate_first_prometheus_data Public

   Python 1

5. 236754_project_in_intelligent_systems 236754_project_in_intelligent_systems Public

   Jupyter Notebook 1

6. citizensassemblies-replication citizensassemblies-replication Public

   Forked from pgoelz/citizensassemblies-replication

   Code for the experiments in the paper: Bailey Flanigan, Paul Gölz, Anupam Gupta, Brett Hennig, Ariel D. Procaccia. Fair Algorithms for Selecting Citizens' Assemblies.

   Python 1