QUARK
Contents:
QUARK: A Framework for Quantum Computing Application Benchmarking
Developer
Benchmark Data Analysis
Reference
Modules
modules.applications
modules.applications.application
modules.applications.mapping
modules.applications.optimization
modules.applications.qml
modules.applications.simulation
modules.core
modules.devices
modules.solvers
QUARK
Reference
modules
modules.applications
modules.applications.optimization
modules.applications.optimization.sat
modules.applications.optimization.sat.mappings
modules.applications.optimization.sat.mappings.direct
View page source
modules.applications.optimization.sat.mappings.direct
Classes
Direct
()
Maps the problem from nnf to pysat.