SAT solver for education
☆26Nov 1, 2022Updated 4 years ago
Alternatives and similar repositories for LearnSAT
Users that are interested in LearnSAT are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Quantum-Assisted Restricted Boltzmann Machine Framework☆12Aug 9, 2025Updated last year
- 🔵 QUBO Annealing & Sampling MOI Interfaces☆15Apr 4, 2023Updated 3 years ago
- Diagram features for Documenter.jl, powered by Kroki.jl☆16Sep 21, 2023Updated 3 years ago
- WiSARD Weightless Neural Network (WNN) Model implemented in Julia.☆12Apr 3, 2024Updated 2 years ago
- CHR2 to SQL conversion☆15Aug 27, 2015Updated 11 years 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.
- Materials for the ESSLLI 2026 course "Introduction to Homotopy Type Theory / Univalent Foundations"☆15Sep 15, 2026Updated last month
- Yet another clustering package☆23Oct 8, 2026Updated 3 weeks ago
- made in <flag> badges for your projects☆21Jun 2, 2023Updated 3 years ago
- KaHyPar.jl is a Julia interface to the KaHyPar multilevel hypergraph partitioning package.☆24Nov 26, 2023Updated 2 years ago
- Copy of the CCHR Constraint Handling Rules implementation in C☆21Nov 18, 2021Updated 4 years ago
- Some extra stream manipulation in Common Lisp.☆16Apr 8, 2022Updated 4 years ago
- Finite domain constraint solver in Haskell☆20Oct 2, 2021Updated 5 years ago
- A tutorial on how Agda infers things☆68Jul 10, 2025Updated last year
- Simply-typed lambda calculus as a QIT in cubical Agda + normalization☆16Jan 23, 2024Updated 2 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Julia implementations of temporal difference Reinforcement Learning algorithms like Q-Learning and SARSA☆12Nov 16, 2025Updated 11 months ago
- Factored Interactive POMDP solver based on symbolic Perseus.☆12Aug 12, 2025Updated last year
- Spectral Method for Multiple Experts Inverse Reinforcement Learning☆14Sep 6, 2014Updated 12 years ago
- Solve optimization problems containing piecewise linear functions☆59Oct 26, 2026Updated last week
- A variational implementation of classical and quantum annealing using recurrent neural networks for the purpose of solving optimization p…☆32Mar 20, 2023Updated 3 years ago
- ☆23Jan 24, 2022Updated 4 years ago
- Using cabal-install as SAT solver☆13Aug 29, 2023Updated 3 years ago
- Constraint Handling Rules☆18Sep 18, 2024Updated 2 years ago
- State machines with async I/O capabilities☆12Apr 13, 2023Updated 3 years 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.
- Files for the tutorial "Correct-by-construction programming in Agda" at POPL '19 in Cascais☆25Jan 14, 2019Updated 7 years ago
- The fastest Tropical number matrix multiplication on GPU☆12Sep 8, 2026Updated last month
- ☆11Mar 2, 2022Updated 4 years ago
- Right Kan extension transformers covering the entire MTL, IO, ST s, and STM in Haskell in a generalization of continuation passing style☆14Feb 10, 2024Updated 2 years ago
- Anders: Cubical Type Checker☆23Oct 23, 2023Updated 3 years ago
- JuMP wrapper for IBMQ Optimization Algorithms (ft QUBODrivers.jl)☆13Updated this week
- ☆12Jul 18, 2013Updated 13 years ago
- Python bindings for yices2☆13Dec 18, 2024Updated last year
- being a programming language for sequential circuits☆26Oct 6, 2026Updated 3 weeks ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Stackelberg pricing games as the leader under imperfect information☆12May 6, 2018Updated 8 years ago
- the reflective tower Blond by Olivier Danvy & Karoline Malmkjær☆16May 21, 2025Updated last year
- Tools for the Simulation and Execution of Quantum Annealing Algorithms☆40Sep 23, 2025Updated last year
- A simple and educational compiler for the SASL programming language☆23Apr 16, 2018Updated 8 years ago
- Agda formalisation of FOTC (First-Order Theory of Combinators).☆13Aug 25, 2026Updated 2 months ago
- Thompson Sampling for Bandits using UCB policy☆10Jul 29, 2017Updated 9 years ago
- Many proofs of the Pythagoras theorem - Lean 4☆11Dec 1, 2023Updated 2 years ago