Simewu / top-SAT-solvers-2021View external linksLinks
The top three SAT solvers of 2021: kissat-MAB, lstech_maple, and kissat_gb.
☆22Mar 15, 2025Updated 11 months ago
Alternatives and similar repositories for top-SAT-solvers-2021
Users that are interested in top-SAT-solvers-2021 are comparing it to the libraries listed below
Sorting:
- Parallel SAT solver that won the SAT Competition 2022 by a large margin (24% faster than the 2nd ranked solver)☆25Dec 6, 2022Updated 3 years ago
- A Declarative Language for Expressing Partial World Knowledge to Reinforcement Learning Agents☆16Jan 19, 2024Updated 2 years ago
- Python version of tools to work with AIG formatted files☆12May 20, 2025Updated 8 months ago
- OpenDesign Flow Database☆17Oct 31, 2018Updated 7 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
- Examples and Models.☆18Mar 18, 2021Updated 4 years ago
- ☆19Dec 21, 2020Updated 5 years ago
- A small library for BDD manipulation in Rust. Part of the BioDivine toolset.☆24Jan 8, 2026Updated last month
- LLVM based HLS library for HWToolkit (hardware devel. toolkit)☆27Jan 21, 2026Updated 3 weeks ago
- Integer Multiplier Generator for Verilog☆23Jul 4, 2025Updated 7 months ago
- Using GNN and DQN to find a baetter branching heuristic for a CDCL Solver☆52Oct 20, 2020Updated 5 years ago
- Synthesis Format Conversion Tool☆26Nov 18, 2025Updated 2 months ago
- A minimalistic and high-performance SAT solver☆26Mar 4, 2024Updated last year
- ☆16Jul 22, 2025Updated 6 months ago
- ☆35Jul 28, 2025Updated 6 months ago
- A Terraria clone in Python, just for fun☆10Jun 7, 2020Updated 5 years ago
- A logic synthesis tool☆84Sep 8, 2025Updated 5 months ago
- A copy of the latest version of MVSIS☆12Apr 18, 2021Updated 4 years ago
- xDEVS: A cross-platform Discrete EVent System simulator☆14Nov 14, 2025Updated 3 months ago
- Very small and simple parser for CPLEX LP files into logical Python data structures☆11Dec 20, 2012Updated 13 years ago
- Sequence Planner☆12Nov 17, 2017Updated 8 years ago
- Feasibility Pump Collection☆16Jul 6, 2023Updated 2 years ago
- A linearizability checker for concurrent data structures☆12Aug 3, 2023Updated 2 years ago
- Translate a subset of C to Verilog☆11May 8, 2019Updated 6 years ago
- vue组件—守望先锋加载动画图标(Overwatch Loading Icon component by Vue.js)☆10Apr 13, 2019Updated 6 years ago
- Random Generator of Btor2 Files☆10Sep 2, 2023Updated 2 years ago
- Controlled Invariant Sets in Two Moves☆14Dec 21, 2021Updated 4 years ago
- python爬虫——抢课原理☆11Dec 15, 2020Updated 5 years ago
- A Parallel Haskell framework for particle-based Monte Carlo simulations☆13Apr 2, 2019Updated 6 years ago
- Nucleic acid sequence designer☆12Jan 29, 2026Updated 2 weeks ago
- A demo of using WebRTC with no signaling server.☆13Sep 3, 2021Updated 4 years ago
- Package for solving dial-a-ride problems.☆10Apr 16, 2024Updated last year
- A Python package for analysis of geometric morphometric data.☆10Jun 7, 2018Updated 7 years ago
- Tools for quantum circuits synthesis, optimization and others.☆21Nov 18, 2025Updated 2 months ago
- ☆11Mar 13, 2023Updated 2 years ago
- [Work in progress] A Rust implementation of the Louvain algorithm 🎈☆10Aug 16, 2023Updated 2 years ago
- Declarative, type-safe json-rpc endpoints library☆10Sep 26, 2023Updated 2 years ago
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆13Mar 27, 2025Updated 10 months ago
- PyTorch implementation for all methods and environments in the paper "MIMEx: Intrinsic Rewards from Masked Input Modeling"☆16May 17, 2023Updated 2 years ago