QSOL is a declarative language and compiler for modelling combinatorial optimization problems in terms of sets, parameters, relations, unknowns, constraints, and objectives, delegating translation to representations executable by classical and quantum solvers.
Repository