Libraries and tools for the SMT-LIB-2 standard.
☆24Dec 13, 2021Updated 4 years ago
Alternatives and similar repositories for smt2utils
Users that are interested in smt2utils are comparing it to the libraries listed below
Sorting:
- Regular Invariant Generator and SMTLIB2 code transformer☆13Aug 8, 2022Updated 3 years ago
- wall time exex for reth☆12Aug 5, 2024Updated last year
- Implementation of the IC3 / Property Directed Reachability algorithm using the the Z3 SMT solver.☆18Apr 30, 2016Updated 9 years ago
- Solidity source debugger built around EthereumJS☆25Feb 20, 2026Updated last week
- Exploring mempool listening methods☆25Mar 4, 2022Updated 3 years ago
- ANTLR SMT-LIB v2 Grammar☆24Dec 23, 2021Updated 4 years ago
- Smart contracts to bundle txs to bribe a miner☆22Mar 29, 2021Updated 4 years ago
- Verification-condition-generation-based verifier for the Viper intermediate verification language.☆37Updated this week
- Efficient nibble-sized (4-bit) byte sequence data structure☆37Feb 11, 2026Updated 2 weeks ago
- A blitz project to try to mint an onchain NFT in the last ever POW block and first ever POS block.☆30Sep 14, 2022Updated 3 years ago
- TriCera: a model checker for C programs☆26Updated this week
- JSON-RPC endpoint proxy that dumps requests/responses for debugging☆30Aug 23, 2023Updated 2 years ago
- Scalable and lock-free memory reclamation system☆37Dec 19, 2025Updated 2 months ago
- Rust implementation of the Binary Canonical Serialization (BCS) format☆32Mar 26, 2024Updated last year
- ☆68Nov 24, 2025Updated 3 months ago
- ☆33Mar 8, 2023Updated 2 years ago
- A design automation framework to engineer decision diagrams yourself☆26Updated this week
- A dashboard for Zenchain staking☆11Jun 18, 2024Updated last year
- Grabs multifile solidity contracts from etherscan-based explorers to view in a local editor☆30May 7, 2022Updated 3 years ago
- dApp for Node Operators, consumers and delegators interact with SubQuery Network☆16Feb 16, 2026Updated 2 weeks ago
- This is a Login application for Android using Parse server.☆10Nov 26, 2018Updated 7 years ago
- ☆12Apr 8, 2025Updated 10 months ago
- ☆15Oct 26, 2025Updated 4 months ago
- ☆13Aug 19, 2025Updated 6 months ago
- Reth rpc api extension to enable block validation☆41Dec 13, 2024Updated last year
- ☆38Feb 11, 2022Updated 4 years ago
- An interactive visualizer for linear temporal logic (LTL)☆33May 26, 2021Updated 4 years ago
- ☆10Feb 9, 2024Updated 2 years ago
- ELVE : ELVE Logic Visualization Engine☆11Jul 2, 2017Updated 8 years ago
- prediction market indexer with semantic search☆35Jan 27, 2026Updated last month
- A simple tool to demonstrate the physical design steps of VLSI Design Flow.☆10Dec 13, 2020Updated 5 years ago
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- Scripts for Digital Design flow control.☆16Oct 30, 2025Updated 4 months ago
- ☆14Dec 21, 2023Updated 2 years ago
- Analyze experimental data with Programming by Navigation☆17Feb 24, 2026Updated last week
- ☆16Sep 17, 2024Updated last year
- A copy of the latest version of MVSIS☆12Apr 18, 2021Updated 4 years ago
- A searcher of searchers☆51Jan 18, 2024Updated 2 years ago
- Developer and User Documentation☆12Feb 6, 2026Updated 3 weeks ago