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
View page source
modules.applications.optimization.sat
Module for SAT mappings
This module initializes the SAT application
Modules
mappings
Module for SAT mappings
sat