DPLL boolean satisfiability solver for .NET
☆10Mar 17, 2026Updated this 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:
- ☆15Jan 3, 2026Updated 2 months ago
- LINQ bindings for the Z3 theorem prover from Microsoft Research.☆42Jul 23, 2025Updated 8 months ago
- Helm charts for common Kubernetes deployment scenarios☆12Updated this week
- .NET libraries for client and server implementations of Open Service Broker API☆17Updated this week
- Generate C# bindings from C headers☆30Feb 12, 2025Updated last year
- Generate Flow fields, used for agent steering☆15Jan 19, 2022Updated 4 years ago
- A plugin for simple Vue 3 Image Lightbox component with Zoom / Drag / Rotate / Switch.☆14Jul 30, 2025Updated 7 months ago
- A simple framework for automating content pipelines for indie games☆13Jan 21, 2024Updated 2 years ago
- A Runtime implementation of ECMA-335 Common Language Infrastructure that is specifically designed for real-time applications.☆26Feb 28, 2021Updated 5 years ago
- ResXGenerator is a C# source generator to generate strongly-typed resource classes for looking up localized strings.☆46Oct 19, 2025Updated 5 months ago
- ☆11Dec 14, 2022Updated 3 years ago
- GIF addon for Allegro 5☆12Oct 30, 2021Updated 4 years ago
- Create airflow heat or fluid animation/diagram by painting a vector-field☆11Jul 1, 2018Updated 7 years ago
- Analyzer and Code Fix for missing await or .Forget() invocation when using unitask invocation from interface☆12Jun 14, 2022Updated 3 years ago
- QUIC based speed test app☆12Apr 24, 2021Updated 4 years ago
- Parser combinators in Rust☆12Feb 28, 2021Updated 5 years ago
- Flowfieldpathfinding with ECS☆18Jul 17, 2018Updated 7 years ago
- WebView2 .NET AOT-compatible bindings independent from WinForms or WPF.☆43Mar 11, 2026Updated last week
- 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
- Integrate Argu (http://fsprojects.github.io/Argu/), the F# argument and configuration parsing library, into Microsoft.Extensions hosted a…☆12Jan 6, 2021Updated 5 years ago
- A guard to validate data received by rocket via validator☆19Mar 12, 2026Updated last week
- ❄️ Home to codgician's nix-managed device profiles☆12Updated this week
- Yet another minimal MCP server for Unity☆33Jul 4, 2025Updated 8 months ago
- Markdown Monster addin to create embeddable Gists for Markdown documents, and to load and save documents from Gists.☆19Dec 12, 2025Updated 3 months ago
- 0install feeds/packages for common apps and libraries☆53Updated this week
- Immediate Mode GUI From Scratch☆26Oct 16, 2025Updated 5 months ago
- Some common NPM MSBuild targets and other utilities used in ASP.NET (Core) MVC and Orchard (Core) CMS development.☆12Feb 26, 2026Updated 3 weeks ago
- A general purpose text editor that supports multiple programming languages for code editing.☆31Aug 8, 2025Updated 7 months ago
- 🔔 .NET Core global CLI tool to to create toast notifications on Windows 10☆12Dec 24, 2019Updated 6 years ago
- A .NET implementation of a parser for the KDL document language.☆34Nov 21, 2022Updated 3 years 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…☆44Nov 18, 2023Updated 2 years ago
- Source of my personal blog at xinitrc.de☆19Sep 20, 2016Updated 9 years ago
- Java Commons(Utils & Boilerplates) for Cloud Native MicroService: Tools & MicroService Architecture for Building MicroService Apps, Java …☆12Apr 15, 2023Updated 2 years ago
- GLSL code generator to aid use of Vulkan's descriptor set indexing☆14Apr 20, 2019Updated 6 years ago
- The official implementation of the paper: H-Neurons: On the Existence, Impact, and Origin of Hallucination-Associated Neurons in LLMs☆48Jan 14, 2026Updated 2 months ago
- The NetDaemon custom Home Assistant addon☆13Jan 20, 2026Updated 2 months ago
- The Vulkan API Specification and related tools -- Chinese Version☆11Jul 12, 2020Updated 5 years ago
- 这是一个目录仓库，用来作为ET的首页使用☆13Jan 4, 2019Updated 7 years ago
- Unity Code Pro: Unity IDE right inside VS Code!☆33Aug 1, 2025Updated 7 months ago