DPLL boolean satisfiability solver for .NET
☆10Jul 14, 2026Updated last week
Alternatives and similar repositories for sat-solver
Users that are interested in sat-solver are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- LINQ bindings for the Z3 theorem prover from Microsoft Research.☆43Jul 23, 2025Updated 11 months ago
- Helm charts for common Kubernetes deployment scenarios☆12Updated this week
- ☆15Jan 3, 2026Updated 6 months ago
- .NET libraries for client and server implementations of Open Service Broker API☆18Updated this week
- A sample Windows Forms .NET app that hosts the real and only Windows Sandbox:☆20Jan 4, 2026Updated 6 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Generate Flow fields, used for agent steering☆15Jan 19, 2022Updated 4 years ago
- Generate C# bindings from C headers☆31Feb 12, 2025Updated last year
- 🍅 Low level library for high performance, concurrent, low GC impact data storing & manipulation☆17Jun 26, 2024Updated 2 years ago
- A simple framework for automating content pipelines for indie games☆13Jan 21, 2024Updated 2 years ago
- ☆16Jul 9, 2025Updated last year
- A Runtime implementation of ECMA-335 Common Language Infrastructure that is specifically designed for real-time applications.☆29Feb 28, 2021Updated 5 years ago
- GIF addon for Allegro 5☆12Oct 30, 2021Updated 4 years ago
- ☆11Dec 14, 2022Updated 3 years ago
- ResXGenerator is a C# source generator to generate strongly-typed resource classes for looking up localized strings.☆49Jul 4, 2026Updated 2 weeks ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Create airflow heat or fluid animation/diagram by painting a vector-field☆11Jul 1, 2018Updated 8 years ago
- Flowfieldpathfinding with ECS☆18Jul 17, 2018Updated 8 years ago
- QUIC based speed test app☆12Apr 24, 2021Updated 5 years ago
- Parser combinators in Rust☆12Feb 28, 2021Updated 5 years ago
- BPE Tokenizer implementations in C# for Anthropic, OpenAI LLM offerings☆14Oct 5, 2023Updated 2 years ago
- A guard to validate data received by rocket via validator☆19Jun 18, 2026Updated last month
- The Vulkan API Specification and related tools -- Chinese Version☆11Jul 12, 2020Updated 6 years ago
- 0install feeds/packages for common apps and libraries☆54Updated this week
- Integrate Argu (http://fsprojects.github.io/Argu/), the F# argument and configuration parsing library, into Microsoft.Extensions hosted a…☆11Jan 6, 2021Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- An updated Nix script, originally written by Cole Mickens (colemickens), to deploy NixOS virtual machines to the Azure Cloud.☆15Nov 27, 2023Updated 2 years ago
- Immediate Mode GUI From Scratch☆26Oct 16, 2025Updated 9 months ago
- A .NET implementation of a parser for the KDL document language.☆34Nov 21, 2022Updated 3 years ago
- Some common NPM MSBuild targets and other utilities used in ASP.NET (Core) MVC and Orchard (Core) CMS development.☆12Updated this week
- Markdown Monster addin to create embeddable Gists for Markdown documents, and to load and save documents from Gists.☆19Dec 12, 2025Updated 7 months ago
- A plugin for simple Vue 3 Image Lightbox component with Zoom / Drag / Rotate / Switch.☆15Jun 16, 2026Updated last month
- A general purpose text editor that supports multiple programming languages for code editing.☆32Aug 8, 2025Updated 11 months ago
- GPPG is a parser generator that produces parsers written in the C# V2 or higher. The input language is YACC-like, and the parsers are LAL…☆46Nov 18, 2023Updated 2 years ago
- 🔔 .NET Core global CLI tool to to create toast notifications on Windows 10☆12Dec 24, 2019Updated 6 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Java Commons(Utils & Boilerplates) for Cloud Native MicroService: Tools & MicroService Architecture for Building MicroService Apps, Java …☆11Apr 15, 2023Updated 3 years ago
- Analyzer and Code Fix for missing await or .Forget() invocation when using unitask invocation from interface☆12Jun 14, 2022Updated 4 years ago
- ❄️ Home to codgician's nix-managed device profiles☆14Updated this week
- GLSL code generator to aid use of Vulkan's descriptor set indexing☆14Apr 20, 2019Updated 7 years ago
- 这是一个目录仓库，用来作为ET的首页使用☆13Jan 4, 2019Updated 7 years ago
- The NetDaemon custom Home Assistant addon☆13Updated this week
- NAnt2 is a free .NET build tool, updated and enhanced from original NAnt project https://github.com/nant/nant. Easy to use even by non-pr…☆12Jul 13, 2026Updated last week