Alternatives and similar repositories for sat-solver

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

• terrafx / terrafx.interop.mimalloc
  Interop bindings for mimalloc.
  ☆44Updated 4 months ago
• aelij / spanify
  Span-ify your code: write high performance memory aware C#
  ☆71Updated 3 months ago
• fryderykhuang / NullGC
  High performance unmanaged memory allocator / collection types / LINQ provider for .NET Core
  ☆65Updated last year
• xoofx / FixedStrings
  Zero allocation valuetype based fixed string implementation (8/16/32/64) for .NET 7+
  ☆87Updated last year
• XenoAtom / XenoAtom.Allocators
  This library provides fast, lightweight and low-level memory allocators for .NET (e.g TLSF)
  ☆40Updated 11 months ago
• c-ohle / RationalNumerics
  .NET library for rational arithmetic based on a stack machine.
  ☆53Updated 2 years ago
• ufcpp / NonCopyableAnalyzer
  An analyzer for Non-Copyable structs.
  ☆33Updated 3 years 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
• krasin-ga / matryoshki
  High-performance zero-reflection approach to C# metaprogramming
  ☆31Updated 9 months ago
• Motvin / FastHashSet
  A replacement for the generic HashSet<T> that is usually faster, has more predictable memory allocations, and uses C# 7.x ref returns and…
  ☆25Updated 6 years ago
• xoofx / Fast1BRC
  C# version for the The One Billion Row Challenge
  ☆31Updated last year
• teo-tsirpanis / Sigourney
  A lightweight toolkit to write .NET assembly weavers.
  ☆17Updated 3 months ago
• manly / AdaptiveRadixTree
  C# Adaptive Radix Tree implementation + Fuzzy String Match stuff + License Plate Index + NGram Index
  ☆38Updated 4 years ago
• jaredpar / complog
  Basic Compilation Log support
  ☆38Updated this week
• mknejp / dotvariant
  A type-safe and space-efficient sum type for C# (comparable to discriminated unions in C or C++)
  ☆73Updated 10 months ago
• yowl / CSharpWebGpu
  C# examples using WebGPU and NativeAOT
  ☆49Updated 2 years ago
• XenoAtom / XenoAtom.Collections
  This library provides struct based collections for high performance and low memory usage
  ☆35Updated 8 months ago
• ogxd / gxhash-csharp
  ☆25Updated 5 months ago
• TechPizzaDev / SharpBlaze
  ☆14Updated last month
• kg / SimdDictionary
  Vectorized generic dictionary prototype
  ☆25Updated 7 months ago
• ykafia / SoftTouch.ECS
  Archetypal ECS for F# and C#
  ☆24Updated 8 months ago
• ForNeVeR / Fenrir
  .NET library to work with Git repositories
  ☆34Updated this week
• oledfish / Kadlet
  A .NET implementation of a parser for the KDL document language.
  ☆32Updated 2 years ago
• xoofx / Broslyn
  A lightweight utility library to create a Roslyn AdhocWorkspace from an existing solution or a csproj
  ☆76Updated last year
• jamarino / IntervalTree
  A light-weight, performant interval tree in C#
  ☆30Updated 3 months ago
• miniksa / trie
  Playing around to make a high-performance prefix tree implementation in C#
  ☆18Updated last year
• kysect / DotnetProjectSystem
  DotnetProjectSystem is a nuget package for working with .sln, .csproj and .props files.
  ☆9Updated last year
• manofstick / Cistern.ValueLinq
  ☆24Updated 4 years ago
• redoz / Synto
  .NET library for working with Roslyn's syntax trees
  ☆23Updated this week
• archi-Doc / Tinyhand
  Tiny and simple data format/serializer.
  ☆22Updated this week