charliermarsh / OCaml-SAT-SolversView external linksLinks
An OCaml implementation of the DPLL algorithm for solving SAT instances. Uses nothing beyond the OCaml List library.
☆19Sep 5, 2014Updated 11 years ago
Alternatives and similar repositories for OCaml-SAT-Solvers
Users that are interested in OCaml-SAT-Solvers are comparing it to the libraries listed below
Sorting:
- Topological sort algorithm☆14Jan 15, 2026Updated 3 weeks ago
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Nov 6, 2019Updated 6 years ago
- A catalogue of efficient and accurate polynomial approximations☆17Feb 5, 2022Updated 4 years ago
- WASP was superseded by: https://github.com/OCamlPro/owi☆16Aug 28, 2024Updated last year
- Common Lisp package providing an SMT object supporting SMT-LIB communication over input and output streams☆20Mar 24, 2022Updated 3 years ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆36Jan 8, 2017Updated 9 years ago
- Red-Black Trees for OCaml.☆24Aug 14, 2016Updated 9 years ago
- Abstract interpreter for real-world application programs☆32May 25, 2013Updated 12 years ago
- Algebraic Combinatorics in Coq☆39Jan 25, 2026Updated 2 weeks ago
- A graduate seminar on SMT solving and solver-aided systems☆28Jul 17, 2022Updated 3 years ago
- A neural network implementation in Common Lisp.☆28Dec 2, 2013Updated 12 years ago
- Constructive Galois connections☆36Mar 26, 2018Updated 7 years ago
- 80% xectors☆47Feb 5, 2022Updated 4 years ago
- ☆33Oct 15, 2018Updated 7 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 8 years ago
- LLVM trunk with poolalloc trunk modified to compile only DSA☆12Jul 9, 2015Updated 10 years ago
- A basic browser based app that posts to the STEEM blockchain (tutorial/example)☆11Aug 17, 2017Updated 8 years ago
- One-for-all python script for running LLVM experiment☆11Jun 30, 2022Updated 3 years ago
- A modular sat/smt solver with proof output.☆102Jan 8, 2024Updated 2 years ago
- Text-based 2048 in Python.☆23Jan 24, 2022Updated 4 years ago
- Auto-formatter for OCaml code☆11Oct 24, 2025Updated 3 months ago
- r6rs packaging of minikanren from "The Reasoned Schemer"☆12Apr 22, 2015Updated 10 years ago
- Library implementation of "Generic description of well-scoped, well-typed syntaxes"☆12Mar 25, 2018Updated 7 years ago
- Microemacs (aka uemacs) v2.0 text editor by Dave Conroy from 1985. Updated to compile on Windows and Linux.☆16Sep 15, 2022Updated 3 years ago
- Check whether a Grin Wallet is Reachable or not☆10Apr 9, 2021Updated 4 years ago
- ☆14Nov 23, 2016Updated 9 years ago
- Mechanized baselines for various type system features☆18Dec 6, 2025Updated 2 months ago
- GnuRadio PPM (Differential Pulse Position Modulation/Demodulation) plugin☆12Mar 27, 2020Updated 5 years ago
- Concolic Exection Engine for Golang☆10May 16, 2018Updated 7 years ago
- A PLT Redex implementation of Featherweight Java☆17Oct 8, 2012Updated 13 years ago
- Yet Another Portable Library for Process Handling / Subshell Invokation☆10Aug 1, 2020Updated 5 years ago
- Zstandard for Ada - Fast real-time compression algorithm☆16Feb 3, 2023Updated 3 years ago
- The Compositionality article class.☆13Jun 12, 2025Updated 8 months ago
- Experiments with modal types☆17Oct 20, 2020Updated 5 years ago
- A system to help ship lisp code with C dependencies☆10Apr 29, 2018Updated 7 years ago
- A tool to extract plain text from HTML pages☆10Dec 7, 2017Updated 8 years ago
- A syscall hooking system for FreeBSD, NetBSD and also Linux.☆16Nov 14, 2021Updated 4 years ago
- Python utility to search Google from the Linux command line☆10Apr 29, 2017Updated 8 years ago
- SVM Abstrac Verifier tool☆12Oct 13, 2022Updated 3 years ago