The Next Generation Logic Library
☆157Jul 17, 2026Updated 2 months ago
Alternatives and similar repositories for LogicNG
Users that are interested in LogicNG are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- LogicNG for Rust☆12Jul 29, 2026Updated last month
- d4 Model Counter☆22May 17, 2023Updated 3 years ago
- F4 algorithm C++ library (groebner basis computations over finite fields)☆14Apr 6, 2018Updated 8 years ago
- JavaSMT - Unified Java API for SMT solvers.☆243Updated this week
- Tarski - An AI Planning Modeling Framework☆74Dec 23, 2025Updated 8 months 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.
- Reasoner for the description logic EL+.☆17Sep 7, 2026Updated last week
- Fast linear algebra for Java☆12Sep 12, 2026Updated last week
- Agda Library to Study the Expressive Power of Languages for Static Variability☆14Apr 17, 2026Updated 5 months ago
- Automated Programming Framework☆15May 11, 2020Updated 6 years ago
- SMTInterpol interpolating SMT solver☆73Aug 31, 2026Updated 2 weeks ago
- JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher,…☆17Jun 13, 2026Updated 3 months ago
- A Java library for storing secrets on linux in a KDE wallet over D-Bus☆18Oct 29, 2025Updated 10 months ago
- Formal Verification for JavaScript Regular Expressions☆15Updated this week
- An I/O-efficient implementation of (Binary) Decision Diagrams☆33Sep 1, 2026Updated 2 weeks ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Tool Support for Correctness-by-Construction☆33Jan 23, 2026Updated 7 months ago
- Compare bean generation tools☆21Oct 4, 2025Updated 11 months ago
- ☆18May 12, 2025Updated last year
- Template for a (PhD) thesis☆13Nov 5, 2025Updated 10 months ago
- ☆13Nov 25, 2022Updated 3 years ago
- Public reference documents for the SMT-LIB standard☆22Jul 28, 2026Updated last month
- ☆40May 13, 2026Updated 4 months ago
- Simulation and inference of gene regulatory networks based on transcriptional bursting☆13Apr 17, 2026Updated 5 months ago
- The opensmt solver☆95Updated this week
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A beamer latex template for slides and lectures at University of Ulm☆12Jun 12, 2024Updated 2 years ago
- January project☆37Apr 30, 2026Updated 4 months ago
- A LR(1) parser generator targeting C++17.☆13Jul 8, 2020Updated 6 years ago
- ☆21Oct 18, 2022Updated 3 years ago
- Naive Bayes Tweet Sentiment Classifier in Kotlin☆14Sep 21, 2020Updated 5 years ago
- Type checking ifdef variability☆81Sep 7, 2021Updated 5 years ago
- Sparse Boolean linear algebra for Nvidia Cuda, OpenCL and CPU computations☆16Aug 19, 2022Updated 4 years ago
- Java toolkit for image and signal processing☆21May 1, 2018Updated 8 years ago
- Automatically updating projects.json files from raku ecosystems☆11Mar 3, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- NeuroCore: Guiding CDCL with Unsat-Core Predictions☆47Feb 17, 2020Updated 6 years ago
- High-performance model counter☆65Updated this week
- SON-EM - Algorithm for parameter estimation of hybrid time-varying parameter systems using Sum of Norms regularization and Expectation Ma…☆10Mar 8, 2018Updated 8 years ago
- DEPRECATED: System modelling and fault-injection-based resilience assessment in Python☆10Mar 17, 2022Updated 4 years ago
- Implementation of the user-space eBPF VM based on the iovisor version (https://github.com/iovisor/ubpf)☆13Apr 16, 2020Updated 6 years ago
- A Minimal Perfect Hash Function Library☆173Feb 20, 2021Updated 5 years ago
- An extensible framework for feature-oriented software development☆146Apr 29, 2026Updated 4 months ago