QUARK
Contents:
QUARK: A Framework for Quantum Computing Application Benchmarking
Developer
Benchmark Data Analysis
Reference
Modules
modules.applications
modules.core
modules.devices
modules.solvers
modules.solvers.annealer
modules.solvers.classical_sat
modules.solvers.greedy_classical_pvc
modules.solvers.greedy_classical_tsp
modules.solvers.mip_solver_acl
modules.solvers.mip_solver_bp
modules.solvers.neutral_atom_mis
modules.solvers.pennylane_qaoa
modules.solvers.qaoa
modules.solvers.qiskit_qaoa
modules.solvers.qrisp_qiro
modules.solvers.random_classical_pvc
modules.solvers.random_classical_sat
modules.solvers.random_classical_tsp
modules.solvers.reverse_greedy_classical_pvc
modules.solvers.reverse_greedy_classical_tsp
modules.solvers.solver
QUARK
Reference
modules
modules.solvers
modules.solvers.classical_sat
View page source
modules.solvers.classical_sat
Classes
ClassicalSAT
()
Classical RC2 SAT solver.