Please check dreal4 instead.
☆13Nov 11, 2015Updated 10 years ago
Alternatives and similar repositories for dreal2
Users that are interested in dreal2 are comparing it to the libraries listed below
Sorting:
- ☆17Aug 2, 2022Updated 3 years ago
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆50Jul 8, 2021Updated 4 years ago
- ☆10Mar 24, 2025Updated 11 months ago
- real time reachability for the f1Tenth platform☆11Jan 19, 2022Updated 4 years ago
- ☆12Jun 18, 2024Updated last year
- Fastened CROWN: Tightened Neural Network Robustness Certificates☆10Feb 10, 2020Updated 6 years ago
- Old Coq plugin for parametricity [maintainer=@ppedrot]☆44Feb 24, 2026Updated last week
- An experimental lossless data compression program with high compression ratio.☆15Feb 27, 2013Updated 13 years ago
- Temporal Logic Extractor☆12May 12, 2017Updated 8 years ago
- Simulation of the optimal boat path on a river (discrete mathematics project)☆11Oct 2, 2017Updated 8 years ago
- Perlin noise toys☆17Jun 10, 2013Updated 12 years ago
- Formal Language Tools for Robots☆15Jun 29, 2016Updated 9 years ago
- Tool/library for manipulating and monitoring temporal logic specifications☆11Oct 31, 2023Updated 2 years ago
- ☆20Jun 25, 2013Updated 12 years ago
- An lo, on the fourth day he did step down from the mountain, and with him VIM did follow . . . .☆67May 26, 2015Updated 10 years ago
- A program to watch an imap mailbox for new emails and launch a custom command upon receiving them☆13Aug 20, 2015Updated 10 years ago
- plays the puzzle game LYNE☆10Sep 6, 2014Updated 11 years ago
- Artifact of the ICSE 2020 paper: "ReluDiff: Differential Verification of Deep Neural Networks"☆11Feb 1, 2022Updated 4 years ago
- CAPD library☆16Jan 4, 2026Updated last month
- Specification and Analysis for Requirements Tool☆10Mar 31, 2016Updated 9 years ago
- Accepted papers for PLDI 2014☆15May 19, 2016Updated 9 years ago
- Tool, paper, and study data for DeepManeuver: Adversarial Test Generation for Trajectory Manipulation of Autonomous Vehicles.☆11Aug 26, 2023Updated 2 years ago
- ☆10Mar 24, 2023Updated 2 years ago
- Search-based test generation toolbox written in Python☆17Oct 27, 2025Updated 4 months ago
- A library for creating wrappers around command-line programs.☆32Oct 6, 2022Updated 3 years ago
- Paper3D is an cross-platform GLES rendering engine, best for creating live wallpaper on Android☆27Sep 11, 2014Updated 11 years ago
- DSVerifier - Digital Systems Verifier☆11Feb 22, 2019Updated 7 years ago
- Fourth edition of VNN COMP (2023)☆16Apr 12, 2023Updated 2 years ago
- [ICML 2022] Robust Deep Reinforcement Learning through Bootstrapped Opportunistic Curriculum☆11Jul 15, 2022Updated 3 years ago
- Neo_js_crawler☆10Aug 6, 2014Updated 11 years ago
- ☆10Nov 5, 2016Updated 9 years ago
- This example shows how to perform quantization aware training for transfer learned MobileNet-v2 network.☆12Dec 19, 2023Updated 2 years ago
- SMC-LTL: SMC-Based LTL MultiRobot Motion Planner☆14Jul 24, 2023Updated 2 years ago
- Free Open Source raytracer backup git repository☆11Sep 3, 2010Updated 15 years ago
- Some of my SBCL stuff, pending merging into the official tree. Any and all branches may be rebased/reset semi-randomly, so be warned!☆12Feb 2, 2013Updated 13 years ago
- The Charon tool for analyzing neural network robustness☆13Mar 19, 2020Updated 5 years ago
- Demonstration project for Java analysis☆14Aug 1, 2024Updated last year
- Common lisp interface to the github API.☆22May 30, 2010Updated 15 years ago
- Git mirror of Blitz++ at http://sourceforge.net/projects/blitz/☆17Jun 11, 2016Updated 9 years ago