DPLL boolean satisfiability solver for .NET
☆10Apr 7, 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 3 months ago
- LINQ bindings for the Z3 theorem prover from Microsoft Research.☆41Jul 23, 2025Updated 8 months ago
- Helm charts for common Kubernetes deployment scenarios☆12Mar 23, 2026Updated 2 weeks ago
- .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
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- 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 8 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.☆27Feb 28, 2021Updated 5 years ago
- ResXGenerator is a C# source generator to generate strongly-typed resource classes for looking up localized strings.☆47Oct 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
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- 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
- 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 26, 2026Updated 2 weeks ago
- ❄️ Home to codgician's nix-managed device profiles☆11Updated this week
- Yet another minimal MCP server for Unity☆34Jul 4, 2025Updated 9 months ago
- 0install feeds/packages for common apps and libraries☆53Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Markdown Monster addin to create embeddable Gists for Markdown documents, and to load and save documents from Gists.☆19Dec 12, 2025Updated 3 months ago
- 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.☆12Apr 2, 2026Updated last week
- A general purpose text editor that supports multiple programming languages for code editing.☆31Aug 8, 2025Updated 8 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
- WebView2 .NET AOT-compatible bindings independent from WinForms or WPF.☆45Updated this week
- 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
- Java Commons(Utils & Boilerplates) for Cloud Native MicroService: Tools & MicroService Architecture for Building MicroService Apps, Java …☆12Apr 15, 2023Updated 2 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Source of my personal blog at xinitrc.de☆19Sep 20, 2016Updated 9 years ago
- GLSL code generator to aid use of Vulkan's descriptor set indexing☆14Apr 20, 2019Updated 6 years ago
- The NetDaemon custom Home Assistant addon☆13Mar 22, 2026Updated 3 weeks ago
- The Vulkan API Specification and related tools -- Chinese Version☆11Jul 12, 2020Updated 5 years ago
- 这是一个目录仓库，用来作为ET的首页使用☆13Jan 4, 2019Updated 7 years ago
- 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…☆11Mar 30, 2026Updated last week
- A serial art project of interactive seekable animations.☆10Nov 8, 2017Updated 8 years ago