a simple concurrent/parallel sat solver implementation in rust
☆20Jan 24, 2024Updated 2 years ago
Alternatives and similar repositories for concurrent-sat-solver-rs
Users that are interested in concurrent-sat-solver-rs are comparing it to the libraries listed below
Sorting:
- Process Orchestration Framework: A camunda 7 fork☆21Mar 2, 2026Updated last week
- ☆23Dec 30, 2025Updated 2 months ago
- SDLC Copilot is an Agentic AI system designed to streamline and automate the Software Development Lifecycle (SDLC). From requirement gath…☆23Jun 14, 2025Updated 8 months ago
- AI-Powered Kubernetes Management System: A platform combining natural language processing with Kubernetes management. Users can perform r…☆14Mar 30, 2025Updated 11 months ago
- ☆12Jun 30, 2025Updated 8 months ago
- The official WHMCS 7.5.3 Release, released by @lmsfao.☆10Apr 8, 2019Updated 6 years ago
- Sawja provides a high level representation of Java bytecode programs and static analysis tools.☆12Jul 4, 2024Updated last year
- Sandbank is the easy-to-use database for s&box.☆10Mar 9, 2025Updated last year
- The Centralized Security Platform 🔍 🚀☆13Aug 4, 2025Updated 7 months ago
- poc for cve-2025-53772☆46Dec 10, 2025Updated 2 months ago
- Welcome to the GPU-NTT-Optimization repository! We present cutting-edge algorithms and implementations for optimizing the Number Theoreti…☆50Feb 13, 2026Updated 3 weeks ago
- ☆11Jan 19, 2025Updated last year
- This is the repository for the code and artifacts related to the CCS2022 paper: C2C: Fine-grained Configuration-driven System Call Filter…☆11Nov 4, 2022Updated 3 years ago
- A VPN written in Rust☆13Apr 17, 2025Updated 10 months ago
- ☆15May 14, 2025Updated 9 months ago
- A minimalist deep research framework for any OpenAI API compatible LLMs.☆14Nov 3, 2025Updated 4 months ago
- A rust proof of concept to demonstrate registry overwriting via RegRestoreKey using the Offline Registry Library☆24Nov 13, 2025Updated 3 months ago
- An SCTP implementation for WebRTC Data Channels☆23Feb 26, 2026Updated last week
- ☆12Aug 26, 2024Updated last year
- ☆22Oct 30, 2024Updated last year
- A transient UI for Cargo, Rust's package manager☆11Dec 17, 2025Updated 2 months ago
- Repo Manifests for the Yocto Project Build System for reproducible TEE builds☆10Nov 26, 2025Updated 3 months ago
- Composable Data and Type Generators for C++☆10Mar 25, 2019Updated 6 years ago
- Cloudformation template for deploying Presto on AWS☆13Jul 20, 2020Updated 5 years ago
- Automatic Query Caching with ProxySQL and Readyset☆12Jun 2, 2025Updated 9 months ago
- A Dependently Typed Esolang☆10Aug 4, 2017Updated 8 years ago
- Accmut is a framework for acclerating mutation testing, which is based on LLVM-IR.☆10Jan 25, 2018Updated 8 years ago
- Tiny dynamic dispatch in Rust☆10Apr 17, 2023Updated 2 years ago
- Build your own AI-powered automation tools in the terminal with this extensible agent framework☆23Jan 5, 2026Updated 2 months ago
- libzfs binding for Java☆12Feb 4, 2020Updated 6 years ago
- A complete economy & buy menu plugin for Sven Co-op 5.x☆10Sep 1, 2024Updated last year
- Template for the Async workshop at EuroRust, with vendored dependencies☆11Oct 8, 2024Updated last year
- [ISSTA'24] A Large-Scale Dataset Capable of Enhancing the Prowess of Large Language Models for Program Testing☆12Jan 7, 2025Updated last year
- Translations for the Calendar library.☆11Feb 21, 2018Updated 8 years ago
- RLN circuits in Noir☆13Nov 18, 2023Updated 2 years ago
- Fixes and tweaks for running linux on MECHREVO 14X☆12Mar 5, 2025Updated last year
- A syntax engine for a series of languages☆18Jul 9, 2012Updated 13 years ago
- Unix domain sockets for Tokio...on Windows!☆14Sep 28, 2022Updated 3 years ago
- A scalable anonymous blocklisting scheme☆12Oct 6, 2023Updated 2 years ago