A Python-Qiskit-based package that provides capabilities of easily generating, executing and analyzing quantum circuits for satisfiability problems according to user-defined constraints. The circuits being generated by the program are based on Grover's algorithm and its amplitude-amplification generalization.
☆10Jun 1, 2023Updated 3 years ago
Alternatives and similar repositories for sat-circuits-engine
Users that are interested in sat-circuits-engine are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- (Update-15-MAY-2020) A Vehicle Routing Problem Software. CVRP (Capacitated VRP), MDVRP (Multiple Depot VRP), VRPTW (VRP with Time Windows…☆13Nov 6, 2023Updated 2 years ago
- Tools, circuits, examples & applications of Quantum Representations of Audio in qubit systems☆12Aug 26, 2023Updated 3 years ago
- Arithmetic library for IBM Qiskit☆38Aug 28, 2021Updated 5 years ago
- A Variational Quantum Linear Solver Prototype for Qiskit☆23Nov 27, 2024Updated last year
- Repository of code notebooks for tutorials at IEEE Quantum Week (QCE20) https://qce.quantum.ieee.org/tutorials/☆43Oct 15, 2020Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Yet Another Introduction to Quantum Computing☆14Oct 27, 2025Updated 11 months ago
- A local provider which allows Qiskit to use a decision-diagrams quantum simulator from JKU☆18Jun 21, 2021Updated 5 years ago
- Implementations of the renormalization group-based diffusion model (RGDM).☆15Aug 16, 2026Updated 2 months ago
- ☆14Apr 1, 2026Updated 6 months ago
- Feynrules and UFO models for SMEFT phenomenology☆19Oct 6, 2022Updated 4 years ago
- A collection of research, notes, quick facts, and other documents pertaining to quantum computation and/or other interesting computer sci…☆17Jan 14, 2017Updated 9 years ago
- Teaching Qubits to Sing☆20Sep 9, 2022Updated 4 years ago
- Core Orquestra meta-package☆21Oct 19, 2023Updated 2 years ago
- ATS is a spectral modeling system based on a sinusoidal plus critical-band noise decomposition. Psychoacoustic processing informs the sys…☆28Jan 12, 2021Updated 5 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Website for the Mininet Project.☆12Apr 1, 2022Updated 4 years ago
- Counter-example guided inductive synthesis (CEGIS) implementation for the SMT solver Z3 by Microsoft Research☆79Jan 8, 2017Updated 9 years ago
- ☆12Sep 29, 2021Updated 5 years ago
- Detect and fix semantic traps in Claude Skills that cause LLM hallucinations☆26Mar 8, 2026Updated 7 months ago
- CDCL SAT-solver for GPUs☆13May 5, 2017Updated 9 years ago
- A comprehensive database of notable quantum computing experiments, with emphasis on quantum error correction implementations☆68Sep 8, 2026Updated last month
- ☆12Jul 21, 2024Updated 2 years ago
- This repository contains the code and hyper-parameters for the paper: "Predicting taxi-passenger demand using streaming data, L. Moreira…☆13Jul 10, 2017Updated 9 years ago
- A tool collection of various attacks on TLS based on TLS-Attacker☆28Aug 2, 2026Updated 2 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Code Repository for Dancing-with-Qubits-2E, Published by Packt☆23Apr 22, 2026Updated 5 months ago
- This Python code scrapes Google search results then applies sentiment analysis, generates text summaries, and ranks keywords.☆28Feb 14, 2021Updated 5 years ago
- HTML, CSS and JS Beautiful Free Photographer Portfolio Website Design Templates free for Download. It's Fully Responsive.☆11Jun 2, 2020Updated 6 years ago
- PAL coding and decoding with Pyctools.☆16Feb 14, 2023Updated 3 years ago
- Secure and fast microVMs for serverless computing.☆19Oct 1, 2026Updated 2 weeks ago
- An implementation of a SAT solver using the CUDA library☆15Dec 23, 2017Updated 8 years ago
- Blockchain based solution to feed my cat via remote Tweeting.☆12Sep 3, 2018Updated 8 years ago
- using OpenCV with Rust☆14Aug 16, 2020Updated 6 years ago
- Code repository for the QuIC Seminar at Michigan State University.☆15Dec 4, 2019Updated 6 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Repository to reference the different papers for quantum-centric supercomputing, this avenue promise the best of both classical and quant…☆23Sep 22, 2025Updated last year
- The Swerve Finance Website☆13Jun 23, 2021Updated 5 years ago
- Distributed QC for Qiskit☆18Jan 18, 2024Updated 2 years ago
- POCs and In-depth explanation of the logic and math behind common elliptic curve cryptography edge cases and attack vectors☆45Jul 16, 2024Updated 2 years ago
- A lecture on quantum computing and symmetric-key cryptography at Chinese Academy of Sciences☆16Nov 19, 2020Updated 5 years ago
- The Stochastic Local Search SAT Solver from UBC☆33Apr 10, 2022Updated 4 years ago
- Source Code for 'Practical Quantum Computing for Developers' by Vladimir Silva☆37Apr 29, 2023Updated 3 years ago