SAT solvers from Knuth's The Art of Computer Programming, Vol. 4B
☆10Jan 5, 2026Updated last month
Alternatives and similar repositories for sat
Users that are interested in sat are comparing it to the libraries listed below
Sorting:
- Library for creation of SAT instances.☆23Sep 7, 2022Updated 3 years ago
- The Smart Sign Language Glove is a wearable device that translates sign language gestures into text or speech, bridging communication gap…☆19Jan 14, 2025Updated last year
- Nx s3 cache using GNU tar, pigz and multipart s3 uploads/downloads☆13Apr 25, 2024Updated last year
- Based on Neural Amp Modeler 0.7.1 with some enhanced features☆12Apr 18, 2023Updated 2 years ago
- Getting started guide for running Teranode Teratestnet☆19Updated this week
- A tool for checking the contract satisfaction for hardware designs☆12Nov 4, 2025Updated 3 months ago
- ☆13Oct 6, 2020Updated 5 years ago
- iEDA water-drop training initiative☆13Sep 10, 2024Updated last year
- Random Generator of Btor2 Files☆10Sep 2, 2023Updated 2 years ago
- Romanian Open Transit Initiative - repository of official, reverse engineered and converted transit resources which give you programmatic…☆10Jul 6, 2023Updated 2 years ago
- A demo of graph coloring using Leap's hybrid constrained quadratic model (CQM) solver.☆13Dec 10, 2024Updated last year
- ☆11Feb 20, 2026Updated last week
- ☆11Jan 28, 2023Updated 3 years ago
- Yet another `llama.cpp` Rust wrapper☆12Jun 19, 2024Updated last year
- Stream Processing ToolKit☆18Aug 14, 2015Updated 10 years ago
- ☆10May 11, 2021Updated 4 years ago
- 10 years after the downfall of the TRiAS GmbH in Germany it's definitely time to release the sources of the TRiAS Spatial Information Sys…☆11Nov 11, 2012Updated 13 years ago
- ☆11Sep 21, 2025Updated 5 months ago
- Repository of the pipeline of computational methods for logical modelling of biological networks that are deregulated in diseases, develo…☆10Oct 6, 2019Updated 6 years ago
- [IJCAI'23] Speeding Up Multi-Objective Hyperparameter Optimization by Task Similarity-Based Meta-Learning for the Tree-Structured Parzen …☆10Mar 9, 2024Updated last year
- A Lean implementation of Interaction Trees☆15Jan 13, 2025Updated last year
- Control Logic Synthesis: Drawing the Rest of the OWL☆13Jun 17, 2024Updated last year
- Synthesis and Reprogramming of Most Permissive Boolean Networks☆16Updated this week
- An R Shiny App for visualising timelines in Logseq☆10Sep 1, 2021Updated 4 years ago
- ☆11Feb 19, 2026Updated last week
- Example of clingo usage on website as a client-side JS program☆14Aug 27, 2019Updated 6 years ago
- Read File Config☆11Sep 26, 2024Updated last year
- Wrapper for pallets/click that uses dataclasses instead of kwargs☆14Oct 10, 2025Updated 4 months ago
- A domain-specific language that allows the expression or protein interactions that can be used to build executable models.☆23Dec 13, 2022Updated 3 years ago
- ☆14Feb 3, 2025Updated last year
- Qutes - A high level programming language for quantum computing.☆14Feb 15, 2026Updated 2 weeks ago
- My dark theme for Roam Research☆10May 12, 2020Updated 5 years ago
- Supercharge Bittensor Ecosystem with Advanced Mathematical and Logical AI☆13Nov 4, 2024Updated last year
- Exploring Chrome extensibility via native messaging and Rust.☆12Mar 10, 2020Updated 5 years ago
- ☆10Jun 5, 2022Updated 3 years ago
- Graph-based neural tactic prediction models for Coq.☆15Sep 17, 2025Updated 5 months ago
- Boosted E-Graph Extraction with Adaptive Heuristics and Exact Solving☆29Jan 7, 2026Updated last month
- Connecting bv_decide to SMTLIB.☆13Jan 5, 2026Updated last month
- An R shiny app to explore the influence of the normality and independence assumptions (and their violation) on the validity (i.e. the typ…☆13Aug 24, 2020Updated 5 years ago