Alternatives and similar repositories for sat-solver

Users that are interested in sat-solver are comparing it to the libraries listed below

• TechPizzaDev / SharpBlaze
  ☆15Updated 2 months ago
• terrafx / terrafx.interop.mimalloc
  Managed port of mimalloc.
  ☆44Updated 2 months ago
• kekyo / MassivePoints
  .NET implementation of modified QuadTree, perform faster range searches from very large number of multi-dimensional coordinates in the po…
  ☆40Updated last year
• aromaa / FunctionalInterfaces
  Create zero allocation capturing struct lambdas!
  ☆11Updated last year
• jaredpar / complog
  Basic Compilation Log support
  ☆38Updated last week
• yowl / CSharpWebGpu
  C# examples using WebGPU and NativeAOT
  ☆49Updated 2 years ago
• XenoAtom / XenoAtom.Allocators
  This library provides fast, lightweight and low-level memory allocators for .NET (e.g TLSF)
  ☆40Updated last year
• xoofx / FixedStrings
  Zero allocation valuetype based fixed string implementation (8/16/32/64) for .NET 7+
  ☆88Updated last year
• mattwar / Linq2Span
  LINQ implementation for Span
  ☆24Updated last year
• fryderykhuang / NullGC
  High performance unmanaged memory allocator / collection types / LINQ provider for .NET Core
  ☆67Updated last year
• oledfish / Kadlet
  A .NET implementation of a parser for the KDL document language.
  ☆33Updated 3 years ago
• aelij / spanify
  Span-ify your code: write high performance memory aware C#
  ☆73Updated 3 weeks ago
• jamarino / IntervalTree
  A light-weight, performant interval tree in C#
  ☆35Updated 8 months ago
• saltukkos / await-threading
  Utilize async\await infrastructure to implement clean parallelism
  ☆20Updated 6 months ago
• XenoAtom / XenoAtom.Collections
  This library provides struct based collections for high performance and low memory usage
  ☆35Updated last year
• ForNeVeR / Fenrir
  .NET library to work with Git repositories
  ☆34Updated last week
• archi-Doc / Tinyhand
  Tiny and simple data format/serializer.
  ☆22Updated last month
• kg / SimdDictionary
  Vectorized generic dictionary prototype
  ☆25Updated last year
• c-ohle / RationalNumerics
  .NET library for rational arithmetic based on a stack machine.
  ☆52Updated 2 years ago
• warappa / refterm
  C# Port of the high performance monospace terminal renderer prototype of cmuratori (originally written in C)
  ☆14Updated 4 years ago
• ForNeVeR / Oddities
  .NET libraries supporting several old and obscure data formats: DIB, MRB, NE, SHG, WinHelp.
  ☆20Updated last week
• redoz / Synto
  .NET library for working with Roslyn's syntax trees
  ☆23Updated last month
• xoofx / Fast1BRC
  C# version for the The One Billion Row Challenge
  ☆33Updated last year
• ogxd / gxhash-csharp
  ☆34Updated 11 months ago
• RupertAvery / VsTools.Projects
  A library for reading and modifying CSPROJ files
  ☆14Updated 4 years ago
• kevingosse / WalkHeap
  Sample code to show how to walk the managed heap in C#
  ☆32Updated last year
• ufcpp / NonCopyableAnalyzer
  An analyzer for Non-Copyable structs.
  ☆35Updated 3 years ago
• xoofx / SuperluminalPerf
  SuperluminalPerf is a small .NET managed wrapper around the Superluminal PerformanceAPI.
  ☆40Updated last year
• miniksa / trie
  Playing around to make a high-performance prefix tree implementation in C#
  ☆18Updated last year
• StephenCleary / ArraySegments
  A library for slicing and dicing arrays (without copying).
  ☆14Updated 5 years ago