Pinned Repositories
AMt
cadical
CaDiCaL SAT Solver
cryptominisat
An advanced SAT solver
dotnet-api-docs
.NET API reference documentation (.NET 5+, .NET Core, .NET Framework)
ElfDiff
Extensions
javatuples
Typesafe representation of tuples in Java.
kissat
PFSSCompression
SATInterface
Library to formulate SAT problems in .NET
sfiruch's Repositories
sfiruch/SATInterface
Library to formulate SAT problems in .NET
sfiruch/kissat
sfiruch/AMt
sfiruch/cadical
CaDiCaL SAT Solver
sfiruch/cryptominisat
An advanced SAT solver
sfiruch/dotnet-api-docs
.NET API reference documentation (.NET 5+, .NET Core, .NET Framework)
sfiruch/ElfDiff
sfiruch/Extensions
sfiruch/javatuples
Typesafe representation of tuples in Java.
sfiruch/PFSSCompression
sfiruch/Pinocchio
PINpointing Orbit Crossing Collapsed Hierarchical Objects
sfiruch/runtime
.NET is a cross-platform runtime for cloud, mobile, desktop, and IoT apps.
sfiruch/stainless
Verification framework and tool for higher-order Scala programs