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 5 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
- An implementation of Scheme embedded in Common Lisp☆25Dec 2, 2011Updated 14 years ago
- A toolkit for building multi-result supercompilers☆32Oct 23, 2021Updated 4 years ago
- ☆23Dec 17, 2013Updated 12 years ago
- Formal Semantics of P4 in K☆20May 21, 2021Updated 4 years ago
- SMT-LIB benchmarks for shape computations from deep learning models in PyTorch☆18Dec 21, 2022Updated 3 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
- Strix is a tool for reactive synthesis of controllers from LTL specifications.☆25Sep 16, 2022Updated 3 years ago
- WebAssembly-based Yosys distribution for Amaranth HDL☆29Feb 25, 2026Updated last week
- A talk☆29Apr 14, 2021Updated 4 years ago
- Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".☆30Apr 11, 2022Updated 3 years ago
- Synthesis Format Conversion Tool☆27Nov 18, 2025Updated 3 months ago
- CLP(SMT) on top of miniKanren☆39Feb 26, 2022Updated 4 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
- The original Edinburgh LCF.☆34Oct 21, 2016Updated 9 years ago
- Logic Programming in Python☆31Sep 28, 2021Updated 4 years ago
- Material extra☆14Dec 6, 2017Updated 8 years ago
- Formal semantics of LLVM IR in K☆45Jun 25, 2015Updated 10 years ago
- Igor Pro data analysis procedures☆15Sep 26, 2020Updated 5 years ago
- tool for postgres to automatically build rest services and web forms☆13Updated this 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
- A Terraria clone in Python, just for fun☆10Jun 7, 2020Updated 5 years ago
- Translate a subset of C to Verilog☆12May 8, 2019Updated 6 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 8 years ago
- Sequence Planner☆12Nov 17, 2017Updated 8 years ago
- maxscript fun☆10Nov 22, 2019Updated 6 years ago
- Three hundred years ago, the Brazilian Space Agency discovered a rocky exoplanet only 38 light years from Earth. With a surface temperatu…☆10Feb 19, 2016Updated 10 years ago
- Random Generator of Btor2 Files☆10Sep 2, 2023Updated 2 years ago
- Functional testing of Puppet modules☆25Jan 24, 2014Updated 12 years ago
- xDEVS: A cross-platform Discrete EVent System simulator☆14Nov 14, 2025Updated 3 months ago
- AMX NetLinx IP Socket Manager☆13May 2, 2017Updated 8 years ago
- ODIN console files, for remote control of PowerSDR☆13Aug 11, 2021Updated 4 years ago
- ☆14Jan 10, 2023Updated 3 years ago