nano-byte / sat-solverLinks
DPLL boolean satisfiability solver for .NET
☆10Updated 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:
- Create zero allocation capturing struct lambdas!☆16Updated 2 years ago
- .NET implementation of modified QuadTree, perform faster range searches from very large number of multi-dimensional coordinates in the po…☆40Updated last year
- ☆15Updated last month
- Managed port of mimalloc.☆45Updated 3 months ago
- High performance unmanaged memory allocator / collection types / LINQ provider for .NET Core☆68Updated 2 years ago
- This library provides fast, lightweight and low-level memory allocators for .NET (e.g TLSF)☆43Updated last year
- A .NET implementation of a parser for the KDL document language.☆34Updated 3 years ago
- LINQ implementation for Span☆24Updated last year
- Zero allocation valuetype based fixed string implementation (8/16/32/64) for .NET 7+☆90Updated last year
- C# examples using WebGPU and NativeAOT☆49Updated 3 years ago
- This XenoAtom.Interop project provides a set of C# libraries to interop with C/C++ libraries (musl, libgit2, sqlite, vulkan...)☆63Updated 9 months ago
- Tiny and simple data format/serializer.☆22Updated last week
- Playing around to make a high-performance prefix tree implementation in C#☆18Updated 2 years ago
- A source generator for embedding resource files directly into your assembly. Access them as a `ReadOnlySpan<byte>`, with no allocations o…☆24Updated 3 years ago
- This library provides struct based collections for high performance and low memory usage☆36Updated last year
- Span-ify your code: write high performance memory aware C#☆73Updated 2 months ago
- .NET library to work with Git repositories☆34Updated this week
- Vectorized generic dictionary prototype☆26Updated last year
- C# version for the The One Billion Row Challenge☆33Updated last year
- convert MSBuild project files to C# pseudo-code☆10Updated last year
- Basic Compilation Log support☆38Updated this week
- .NET library for rational arithmetic based on a stack machine.☆52Updated 2 years ago
- Generate plots for BenchmarkDotNet☆13Updated last year
- High-performance zero-reflection approach to C# metaprogramming☆32Updated last year
- The most revolutionary syntax visualizer☆81Updated 8 months ago
- Sample code to show how to walk the managed heap in C#☆32Updated last year
- Assembly-level sandboxing for .NET Core☆81Updated 2 months ago
- Library-based implementation of Code Contracts-like API☆34Updated 2 years ago
- A micro-sdk for .NET☆18Updated last week
- Utilize async\await infrastructure to implement clean parallelism☆20Updated 7 months ago