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
3 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 | 185 |
 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 | 73 |
| lanl/qmasm | A software tool that enables low-level programming on D-Wave systems' adiabatic quantum computers | 337 |
| lanl/qa-prolog | A Prolog compiler that translates logic programs into a format suitable for quantum annealing | 36 |
 ableton/aqt-cassowary | A Qt plugin that allows QML applications to use incremental linear constraint solver | 54 |
 pasqal-io/qadence | A digital-analog quantum programming interface allowing users to build and simulate complex quantum programs. | 70 |
| lanl/scico | A software package for solving inverse problems in scientific imaging applications. | 105 |
 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 | 933 |
 harshangrjn/quantumcircuitopt.jl | Tools for designing efficient quantum circuits using mathematical optimization algorithms | 57 |