DPLL boolean satisfiability solver for .NET
☆10Feb 24, 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
Sorting:
- LINQ bindings for the Z3 theorem prover from Microsoft Research.☆42Jul 23, 2025Updated 7 months ago
- ☆15Jan 3, 2026Updated last month
- WebView2 .NET AOT-compatible bindings independent from WinForms or WPF.☆40Updated this week
- Immediate Mode GUI From Scratch☆26Oct 16, 2025Updated 4 months ago
- Generate C# bindings from C headers☆30Feb 12, 2025Updated last year
- A Runtime implementation of ECMA-335 Common Language Infrastructure that is specifically designed for real-time applications.☆26Feb 28, 2021Updated 5 years ago
- An immediate mode UI system for WPF☆30Sep 15, 2021Updated 4 years ago
- A general purpose text editor that supports multiple programming languages for code editing.☆31Aug 8, 2025Updated 6 months ago
- A C# Parser library that allows easy parsing and formatting of C# source files☆29Apr 10, 2024Updated last year
- A .NET implementation of a parser for the KDL document language.☆34Nov 21, 2022Updated 3 years ago
- A simple framework for automating content pipelines for indie games☆13Jan 21, 2024Updated 2 years ago
- ☆31Feb 17, 2024Updated 2 years ago
- Analyzer and Code Fix for missing await or .Forget() invocation when using unitask invocation from interface☆12Jun 14, 2022Updated 3 years ago
- BPE Tokenizer implementations in C# for Anthropic, OpenAI LLM offerings☆15Oct 5, 2023Updated 2 years ago
- Graph.dll deobfuscated☆16May 15, 2021Updated 4 years ago
- Template project for Bow and Arrow series.☆11Jun 12, 2019Updated 6 years ago
- Total Commander plugin for Azure Blob service☆17May 9, 2015Updated 10 years ago
- This library provides fast, lightweight and low-level memory allocators for .NET (e.g TLSF)☆43Feb 23, 2026Updated last week
- ☆31Apr 20, 2023Updated 2 years ago
- FileBaseContext is a provider of Entity Framework 7 & 8 & 9 to store database information in files.☆43Nov 17, 2025Updated 3 months ago
- It's a DLL for Robot software. Not only Robot but also Jig.☆10Jun 28, 2025Updated 8 months ago
- window switcher for Microsoft Windows☆13May 16, 2018Updated 7 years ago
- This repository contains a benchmarking compares Keyset and Offset Pagination for C#☆11Apr 4, 2023Updated 2 years ago
- LogicMOO Natural Language Understanding Kit Unified into Prolog☆13Oct 2, 2021Updated 4 years ago
- Dynatrace FM-Index library☆15Nov 11, 2025Updated 3 months ago
- Helm charts for common Kubernetes deployment scenarios☆12Feb 17, 2026Updated last week
- Stack: .NET 6, WPF (MVVM), Entity Framework Core, SQLite. ᅠ ᅠᅠ ᅠ ᅠ Three Layer Architecture, Dependency Injection.☆11Jan 28, 2022Updated 4 years ago
- A copy of the latest version of MVSIS☆12Apr 18, 2021Updated 4 years ago
- Repository for the EvoBot Metamod plugin, providing AI players for the HL1 mod Natural Selection☆14Jan 29, 2025Updated last year
- ☆10Feb 24, 2026Updated last week
- 2D Arcade Game Etude built with DrawnUI for .NET MAUI☆52Feb 8, 2026Updated 3 weeks ago
- ResXGenerator is a C# source generator to generate strongly-typed resource classes for looking up localized strings.☆45Oct 19, 2025Updated 4 months ago
- Create airflow heat or fluid animation/diagram by painting a vector-field☆10Jul 1, 2018Updated 7 years ago
- A collection of source-only NuGet packages containing tiny bits of utility code that don't belong together in a monolithic library.☆12Mar 31, 2025Updated 11 months ago
- ☆13Dec 9, 2025Updated 2 months ago
- Silly pictures I made that bring me joy☆11Dec 21, 2017Updated 8 years ago
- Generate new class/struct/record with all properties as nullable by source generation using the Partial attribute.☆10Jan 19, 2025Updated last year
- Sorting, filtering, and grouping enhancements for .NET collections☆15Jan 19, 2026Updated last month
- convert MSBuild project files to C# pseudo-code☆10Nov 17, 2024Updated last year