SMCHR - Satisfiability Modulo Constraint Handling Rules
☆12Jul 19, 2018Updated 7 years ago
Alternatives and similar repositories for SMCHR
Users that are interested in SMCHR are comparing it to the libraries listed below
Sorting:
- CHR2 to SQL conversion☆15Aug 27, 2015Updated 10 years ago
- Copy of the CCHR Constraint Handling Rules implementation in C☆20Nov 18, 2021Updated 4 years ago
- Monadic Constraint Programming framework☆28May 9, 2018Updated 7 years ago
- Lua/Terra + Java Native Interface☆21Mar 3, 2017Updated 8 years ago
- ScheduleOpt benchmarks☆16Updated this week
- ☆10Jan 28, 2013Updated 13 years ago
- An OpenAI-powered triage bot for a slack support channel designed to tag oncalls, prioritize issues, suggest solutions, and streamline co …☆12Jun 11, 2025Updated 8 months ago
- Constraint solver based on abstract interpretation☆10Dec 20, 2024Updated last year
- Statistics from our binary transformation framework☆11Jan 16, 2025Updated last year
- FM-index is the fastest full text search algorithm using a compressed index file. This is FM-index for JSX/JS/AMD/Common.js.☆11Nov 9, 2013Updated 12 years ago
- UVL (Universal Variability Language) is a concise and extensible language for modeling variability in software product lines. This reposi…☆13Feb 19, 2026Updated last week
- Resumable exceptions and delimited continuations for JVM☆44May 2, 2025Updated 9 months ago
- ☆19Aug 23, 2025Updated 6 months ago
- NSimulate is a .NET library written in c# that enables the development of discrent-event simulations. The library enables the modelling o…☆10Apr 4, 2016Updated 9 years ago
- ☆20Jan 30, 2026Updated last month
- ☆14Sep 10, 2022Updated 3 years ago
- Java implementation of CoolSocket TCP messaging library.☆13Jan 22, 2025Updated last year
- mETRICS - rEproducible sofTware peRformance analysIs in perfeCt Simplicity☆11May 14, 2025Updated 9 months ago
- Datalog engine based on DuckDB☆10Mar 8, 2023Updated 2 years ago
- Alleycat plugin by devttys0, ported to IDA 8☆11Jan 15, 2025Updated last year
- Cryptonomica Arbitration Rules☆10Dec 17, 2018Updated 7 years ago
- Crawl github data using API and no-API☆12Jul 4, 2017Updated 8 years ago
- ☆12Sep 21, 2024Updated last year
- A book about datalog☆12Nov 26, 2022Updated 3 years ago
- A relational logic programming language embedded in Rust.☆12Aug 15, 2025Updated 6 months ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆12Aug 30, 2025Updated 6 months ago
- Large-scale sparse matrix factorization for Rust☆11Jan 15, 2026Updated last month
- Schedule for ArtOfSAT☆10Oct 11, 2023Updated 2 years ago
- Compile and run Constraint Handling Rules (CHR) in JavaScript☆107Oct 27, 2023Updated 2 years ago
- ☆12Jul 8, 2023Updated 2 years ago
- Better type id and Any for Rust☆16Dec 12, 2025Updated 2 months ago
- ☆13Jun 20, 2022Updated 3 years ago
- An agent for HTTPS through an HTTP(S) proxy server using the CONNECT method☆12Dec 30, 2022Updated 3 years ago
- Rust interface for the RDFox database☆12Jan 16, 2026Updated last month
- Example OCaml library written using Rust and ocaml-rs☆16Mar 10, 2021Updated 4 years ago
- Minimalistic implementation of Naiad paper "A Timely Dataflow System" in Scala☆12Jul 13, 2020Updated 5 years ago
- Lua implemented in Mercury☆15Mar 17, 2024Updated last year
- Grimsby is an Erlang Port written in Rust that can close its standard input while retaining standard output (and error)☆15Oct 9, 2024Updated last year
- Machine-checked Agda formalization for the ILC project☆15Apr 6, 2018Updated 7 years ago