Popular repositories Loading

1. qaoa-three-sat qaoa-three-sat Public

   Forked from vivekkatial/qaoa-three-sat

   An implementation for solving 3SAT (Exact Cover) using the Quantum Approximate Optimization Algorithm

   Jupyter Notebook

2. aqc-three-sat-sim aqc-three-sat-sim Public

   Forked from vivekkatial/aqc-three-sat-sim

   Simulation of Adiabatic Quantum Optimisation

   HTML

3. sat-benchmarks sat-benchmarks Public

   Forked from dreal/sat-benchmarks

   SAT Benchmarks

4. top-SAT-solvers-2021 top-SAT-solvers-2021 Public

   Forked from Simewu/top-SAT-solvers-2021

   The top three SAT solvers of 2021: kissat-MAB, lstech_maple, and kissat_gb.

   C

5. kissat kissat Public

   Forked from arminbiere/kissat

   C

6. NLocalSAT NLocalSAT Public

   Forked from myxxxsquared/NLocalSAT

   NLocalSAT; Boosting Local Search with Solution Prediction

   C++