fm-polimi / zotView external linksLinks
The ZOT Bounded Model/Satisfiability Checker (previously hosted as zot.googlecode.com)
☆10Jan 11, 2021Updated 5 years ago
Alternatives and similar repositories for zot
Users that are interested in zot are comparing it to the libraries listed below
Sorting:
- ☆10Aug 29, 2018Updated 7 years ago
- Repository of benchmarks for SYNTCOMP☆14Sep 16, 2025Updated 4 months ago
- FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems☆16Nov 3, 2024Updated last year
- Yet Another Classical planning plan validator written in modern Common Lisp☆13Nov 9, 2021Updated 4 years ago
- A toolkit for building multi-result supercompilers☆32Oct 23, 2021Updated 4 years ago
- An implementation of Scheme embedded in Common Lisp☆25Dec 2, 2011Updated 14 years ago
- ☆23Dec 17, 2013Updated 12 years ago
- SMT-LIB benchmarks for shape computations from deep learning models in PyTorch☆18Dec 21, 2022Updated 3 years ago
- Formal Semantics of P4 in K☆20May 21, 2021Updated 4 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
- Resilient replicant Shell Programming Library for Common Lisp☆22Jul 29, 2024Updated last year
- A talk☆29Apr 14, 2021Updated 4 years ago
- WebAssembly-based Yosys distribution for Amaranth HDL☆29Jan 21, 2026Updated 3 weeks ago
- Strix is a tool for reactive synthesis of controllers from LTL specifications.☆24Sep 16, 2022Updated 3 years ago
- Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".☆29Apr 11, 2022Updated 3 years ago
- Synthesis Format Conversion Tool☆26Nov 18, 2025Updated 2 months ago
- CLP(SMT) on top of miniKanren☆39Feb 26, 2022Updated 3 years ago
- The code base for the I4 prototype, as described in the SOSP '19 paper "I4: Incremental Inference of Inductive Invariants for Verificatio…☆26May 25, 2021Updated 4 years ago
- Logic Programming in Python☆31Sep 28, 2021Updated 4 years ago
- The original Edinburgh LCF.☆35Oct 21, 2016Updated 9 years ago
- Material extra☆14Dec 6, 2017Updated 8 years ago
- Formal semantics of LLVM IR in K☆45Jun 25, 2015Updated 10 years ago
- A Terraria clone in Python, just for fun☆10Jun 7, 2020Updated 5 years ago
- Igor Pro data analysis procedures☆15Sep 26, 2020Updated 5 years ago
- tool for postgres to automatically build rest services and web forms☆13Feb 3, 2026Updated last week
- EncryCore node reference implementation☆15Apr 2, 2020Updated 5 years ago
- Brainfuck interpreter written in jq -- This is the proof that jq is turing-complete!☆42Dec 27, 2014Updated 11 years ago
- SmalL bUt Complete GROne Synthesizer☆43Aug 22, 2024Updated last year
- xDEVS: A cross-platform Discrete EVent System simulator☆14Nov 14, 2025Updated 2 months ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 8 years ago
- A verified permissioned centralized Blockchain for Isabelle/HOL☆11Feb 3, 2018Updated 8 years ago
- Sequence Planner☆12Nov 17, 2017Updated 8 years ago
- A shell interpreter project like csh, sh, bash , etc.☆11Mar 30, 2013Updated 12 years ago
- maxscript fun☆10Nov 22, 2019Updated 6 years ago
- Functional testing of Puppet modules☆25Jan 24, 2014Updated 12 years ago
- ODIN console files, for remote control of PowerSDR☆13Aug 11, 2021Updated 4 years ago
- Random Generator of Btor2 Files☆10Sep 2, 2023Updated 2 years ago
- AMX NetLinx IP Socket Manager☆13May 2, 2017Updated 8 years ago
- A copy of the latest version of MVSIS☆12Apr 18, 2021Updated 4 years ago