NchooseK
Constraint solver
A programming framework for expressing constraints across classical and quantum computing architectures
Portable programming across classical and quantum architectures
5 stars
4 watching
5 forks
Language: Python
last commit: over 1 year ago
Linked from 1 awesome list
programming-modelquantum-computing
qosf/awesome-quantum-softwareRelated projects:
| Repository | Description | Stars |
|---|---|---|
 triska/clpz | A system for solving problems with logical rules and integer arithmetic constraints | 189 |
 dkendal/aruspex | A configurable constraint solver written in Elixir. | 40 |
 mdiep/logician | A logic programming library for Swift that uses constraints to solve problems | 195 |
 tribalworldwidelondon/cassowaryswift | A linear constraint solver implemented in Swift | 111 |
 ornl-qci/xacc-vqe | A tool for solving quantum systems through numerical methods using an interface to the XACC framework | 14 |
 radsz/jacop | A Java-based solver for solving constraint satisfaction problems using a large set of constraints and modular search algorithms. | 220 |
 lanl-ansi/watermodels.jl | A Julia package for solving optimization problems in water distribution networks | 74 |
| lanl/qmasm | An assembler for low-level quantum programming languages to describe D-Wave systems' operations. | 337 |
| lanl/qa-prolog | Compiles Prolog programming language into a Hamiltonian function for quantum annealing | 38 |
 ableton/aqt-cassowary | A Qt plugin that allows QML applications to use incremental linear constraint solver | 54 |
 pasqal-io/qadence | A package for building and simulating digital-analog quantum programs with tunable qubit interactions | 72 |
| lanl/scico | A software package for solving inverse problems in scientific imaging applications. | 107 |
 dabacon/qsel | A programming language that uses entanglement and superposition to describe quantum computations | 40 |
 quantumbfs/yao.jl | A framework for designing and implementing quantum algorithms | 940 |
 harshangrjn/quantumcircuitopt.jl | Tools for designing efficient quantum circuits using mathematical optimization algorithms | 57 |