SmalL bUt Complete GROne Synthesizer
☆43Aug 22, 2024Updated last year
Alternatives and similar repositories for slugs
Users that are interested in slugs are comparing it to the libraries listed below
Sorting:
- Repository of benchmarks for SYNTCOMP☆14Sep 16, 2025Updated 5 months ago
- Synthesis Format Conversion Tool☆26Nov 18, 2025Updated 3 months ago
- Formal Language Tools for Robots☆15Jun 29, 2016Updated 9 years ago
- From LTLf / PPLTL to Deterministic Finite-state Automata (DFA)☆79Mar 20, 2024Updated last year
- A DSL for generating GR(1) problems☆12Jul 27, 2021Updated 4 years ago
- Strix is a tool for reactive synthesis of controllers from LTL specifications.☆24Sep 16, 2022Updated 3 years ago
- a collection of tools for GR(1) synthesis and related activities☆21Dec 12, 2025Updated 2 months ago
- A toolkit for designing and implementing LTL-based task specifications.☆56Oct 11, 2016Updated 9 years ago
- Automated Controller Synthesis☆15Jun 27, 2018Updated 7 years ago
- BoSy is a reactive synthesis tool based on constraint-solving☆19Aug 3, 2023Updated 2 years ago
- The ZOT Bounded Model/Satisfiability Checker (previously hosted as zot.googlecode.com)☆10Jan 11, 2021Updated 5 years ago
- Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space r…☆12Sep 27, 2021Updated 4 years ago
- SMC-LTL: SMC-Based LTL MultiRobot Motion Planner☆14Jul 24, 2023Updated 2 years ago
- Temporal Logic Planning toolbox☆125Jan 2, 2026Updated last month
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆50Jul 8, 2021Updated 4 years ago
- A human readable style for binary data.☆12Dec 4, 2019Updated 6 years ago
- LTL2PDDL tool☆11Jul 7, 2017Updated 8 years ago
- FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems☆16Nov 3, 2024Updated last year
- Symbolic Geometric Algebra with E-Graphs☆19Oct 11, 2023Updated 2 years ago
- ☆15Apr 26, 2021Updated 4 years ago
- A Python library for learning and verification of neural networks and other machine learning models☆14Sep 18, 2025Updated 5 months ago
- A hardware model checker for hyperproperties☆18Jun 14, 2024Updated last year
- IC3 reference implementation: a short, simple, fairly competitive implementation of IC3. Read it, tune it, extend it, play with it.☆64May 31, 2015Updated 10 years ago
- A managed platform and language for GPGPU☆32Dec 3, 2012Updated 13 years ago
- Cross platform Instant Outbidding Bot, Instant Outbidder Bot is designed to outbid all real-time bids within a second by percentage incre…☆100Jan 17, 2023Updated 3 years ago
- A package for compositional system analysis and design☆29Jul 22, 2025Updated 7 months ago
- Adversarial attacks for Neural Networks written with FluxML☆16Jan 20, 2021Updated 5 years ago
- ☆20May 11, 2023Updated 2 years ago
- Code for paper "Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers"☆17Jan 27, 2023Updated 3 years ago
- Reachability Analysis Tool of Neural Network Controlled Systems (NNCSs)☆17Mar 25, 2023Updated 2 years ago
- AE-solver and Skolemizer☆17Dec 9, 2024Updated last year
- A tool for LDLf translation to DFA and for LDLf synthesis.☆23Sep 22, 2023Updated 2 years ago
- Python DSL for writing PDDL☆25Aug 13, 2021Updated 4 years ago
- A research platform and active library for generalised SAT solving☆33Jun 12, 2025Updated 8 months ago
- A tool for obtaining LTL formulas from a sample of positive and negative words.☆26Jun 21, 2022Updated 3 years ago
- ☆27Sep 27, 2024Updated last year
- Automated Analysis Framework for Simulink/Stateflow (deprecated, see cocoSim2)☆25May 2, 2017Updated 8 years ago
- Test and benchmark repository for Z3.☆27Jan 21, 2026Updated last month
- Datalog + Egg = Good☆66May 31, 2023Updated 2 years ago