DPLL boolean satisfiability solver for .NET
☆10Oct 26, 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:
- Utility classes, interfaces, controls, etc. with an emphasis on cross-platform development, OS integration and task progress UIs☆13Updated this week
- LINQ bindings for the Z3 theorem prover from Microsoft Research.☆43Updated this week
- Helm charts for common Kubernetes deployment scenarios☆11Updated this week
- ☆15Aug 31, 2026Updated last month
- A .NET Core 10+ WPF property grid that supports the newer ThemeMode XAML attribute.☆14May 13, 2026Updated 5 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- .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 9 months ago
- An VSCode plugin for formatting of Unity ShaderLab☆13Oct 7, 2026Updated 3 weeks ago
- Opinionated Guard Extensions for .NET☆13Sep 16, 2021Updated 5 years ago
- Textual UML modeling tool☆14Oct 11, 2015Updated 11 years ago
- A game written in Rust for the WASM-4 fantasy console.☆10Dec 16, 2024Updated last year
- Generate C# bindings from C headers☆31Feb 12, 2025Updated last year
- Tom's scoop bucket which contain the software does not exist in main and extras scoop bucket☆12Oct 19, 2026Updated last week
- Generate Flow fields, used for agent steering☆16Jan 19, 2022Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- 🍅 Low level library for high performance, concurrent, low GC impact data storing & manipulation☆18Jun 26, 2024Updated 2 years ago
- GIF addon for Allegro 5☆12Oct 30, 2021Updated 5 years ago
- ☆11Dec 14, 2022Updated 3 years ago
- ☆16Jul 9, 2025Updated last year
- Flowfieldpathfinding with ECS☆18Jul 17, 2018Updated 8 years ago
- Parser combinators in Rust☆12Oct 3, 2026Updated 3 weeks ago
- llama.cpp with native AMD RDNA4 (gfx1201) ROCm 7.11 support - 98.97 tok/s AI inference, competitive with RTX 4070 Ti, 32GB VRAM☆12Jan 3, 2026Updated 9 months ago
- The Vulkan API Specification and related tools -- Chinese Version☆11Jul 12, 2020Updated 6 years ago
- A simple framework for automating content pipelines for indie games☆13Jan 21, 2024Updated 2 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Java Commons(Utils & Boilerplates) for Cloud Native MicroService: Tools & MicroService Architecture for Building MicroService Apps, Java …☆12Apr 15, 2023Updated 3 years ago
- A simple .NET tool to execute other dotnet tools without installing them globally or in a project☆12Feb 22, 2023Updated 3 years ago
- QUIC based speed test app☆13Apr 24, 2021Updated 5 years ago
- A Runtime implementation of ECMA-335 Common Language Infrastructure that is specifically designed for real-time applications.☆29Feb 28, 2021Updated 5 years ago
- 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
- 📦 Subset of DOCA-OFED (Mellanox OFED) packages ported to NixOS☆12Oct 23, 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
- A plugin for simple Vue 3 Image Lightbox component with Zoom / Drag / Rotate / Switch.☆16Jun 16, 2026Updated 4 months ago
- CFM is a bounded, deterministic, φ/ψ-parameterized dynamical substrate for studying stable structure formation under strict numerical saf…☆12Jan 1, 2026Updated 9 months 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.
- Some common NPM MSBuild targets and other utilities used in ASP.NET (Core) MVC and Orchard (Core) CMS development.☆12Updated this week
- Proxy DLL modding with C# Native AOT☆11Sep 19, 2024Updated 2 years ago
- Immediate Mode GUI From Scratch☆26Oct 16, 2025Updated last year
- 这是一个目录仓库，用来作为ET的首页使用☆13Jan 4, 2019Updated 7 years ago
- Mocks HTTP responses for integration, component and acceptance tests of your projects written in C# / .NET by hosting a webserver returni…☆12Oct 20, 2026Updated last week
- 🔔 .NET Core global CLI tool to to create toast notifications on Windows 10☆12Dec 24, 2019Updated 6 years ago
- ☆10Jan 5, 2022Updated 4 years ago