Popular repositories Loading

1. AnalogSat AnalogSat Public

   Forked from fmolnar-notredame/AnalogSat

   Simulations of continuous-time dynamical systems (CTDS) that solve Boolean satisfiability (SAT) problems.

   C++

2. qsim qsim Public

   Forked from quantumlib/qsim

   Schrödinger and Schrödinger-Feynman simulators for quantum circuits.

   C++

3. qbsolv qbsolv Public

   Forked from dwavesystems/qbsolv

   Qbsolv,a decomposing solver, finds a minimum value of a large quadratic unconstrained binary optimization (QUBO) problem by splitting it into pieces solved either via a D-Wave system or a classical…

   q

4. probSAT probSAT Public

   Forked from adrianopolus/probSAT

   The probSAT SAT Solver

   C

5. SimulatedAnnealing SimulatedAnnealing Public

   Jupyter Notebook

6. HyBRIMSat HyBRIMSat Public

   Forked from niklasso/minisat

   A minimalistic and high-performance SAT solver

   C++