The Next Generation Logic Library
☆153May 21, 2026Updated 2 weeks 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:
- JavaSMT - Unified Java API for SMT solvers.☆239Updated this week
- JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher,…☆16Jun 1, 2026Updated last week
- F4 algorithm C++ library (groebner basis computations over finite fields)☆14Apr 6, 2018Updated 8 years ago
- Fast linear algebra for Java☆11Mar 22, 2026Updated 2 months ago
- SMTInterpol interpolating SMT solver☆72Updated this week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆29Feb 11, 2026Updated 3 months ago
- A Java library for storing secrets on linux in a KDE wallet over D-Bus☆16Oct 29, 2025Updated 7 months ago
- CP+SAT solver framework built to be reliable, performant, and extensible☆52Updated this week
- Compiler Technologies for Mathematica/Wolfram Language.☆36Aug 8, 2020Updated 5 years ago
- An I/O-efficient implementation of (Binary) Decision Diagrams☆33May 27, 2026Updated 2 weeks ago
- Tool Support for Correctness-by-Construction☆33Jan 23, 2026Updated 4 months ago
- Compare bean generation tools☆21Oct 4, 2025Updated 8 months ago
- Agda Library to Study the Expressive Power of Languages for Static Variability☆13Apr 17, 2026Updated last month
- The opensmt solver☆97May 28, 2026Updated last week
- 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.
- ☆37May 13, 2026Updated 3 weeks ago
- Verified Extraction from Rocq to OCaml/Malfunction☆15Updated this week
- Public reference documents for the SMT-LIB standard☆21Mar 27, 2026Updated 2 months ago
- A beamer latex template for slides and lectures at University of Ulm☆12Jun 12, 2024Updated last year
- LTL2PDDL tool☆13Jul 7, 2017Updated 8 years ago
- January project☆36Apr 30, 2026Updated last month
- Type checking ifdef variability☆80Sep 7, 2021Updated 4 years ago
- Lab is a framework for evaluating planners and other solvers.☆35May 2, 2026Updated last month
- Naive Bayes Tweet Sentiment Classifier in Kotlin☆14Sep 21, 2020Updated 5 years 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.
- Script engines for various languages for IntelliJ-based tools☆25Jun 14, 2024Updated last year
- ☆21Jun 12, 2023Updated 2 years ago
- Assert-like extension nodes that raise useful errors on failure☆18May 18, 2026Updated 3 weeks ago
- A Minimal Perfect Hash Function Library☆172Feb 20, 2021Updated 5 years ago
- Java toolkit for image and signal processing☆20May 1, 2018Updated 8 years ago
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆39Mar 25, 2025Updated last year
- CodeBERT based mutation testing tool.☆13Nov 10, 2025Updated 6 months ago
- ☆23Jan 19, 2023Updated 3 years ago
- ☆11Nov 21, 2022Updated 3 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Strix is a tool for reactive synthesis of controllers from LTL specifications.☆25Sep 16, 2022Updated 3 years ago
- AADL models for the Crazyflie UAV -- OMSCS Class CS7639☆11Mar 22, 2020Updated 6 years ago
- DEPRECATED: System modelling and fault-injection-based resilience assessment in Python☆10Mar 17, 2022Updated 4 years ago
- Semantic Application Design Language (SADL) Open Source Code☆33Aug 26, 2024Updated last year
- NeuroCore: Guiding CDCL with Unsat-Core Predictions☆47Feb 17, 2020Updated 6 years ago
- Additional features supporting paclets in Mathematica☆16Oct 3, 2017Updated 8 years ago
- Karras et al. (2022) diffusion models for PyTorch☆11Aug 23, 2022Updated 3 years ago