sfiruch

Ateleris GmbHSwitzerland

Pinned Repositories

AMt
Language:Jupyter Notebook0 1 00
cadical
CaDiCaL SAT Solver
Language:C++0 2 00
cryptominisat
An advanced SAT solver
Language:C++0 1 00
dotnet-api-docs
.NET API reference documentation (.NET 5+, .NET Core, .NET Framework)
Language:C#0 1 00
ElfDiff
Language:C#0 2 00
Extensions
Language:C#0 2 00
javatuples
Typesafe representation of tuples in Java.
Language:Java0 1 00
kissat
Language:C1 2 10
PFSSCompression
Language:C#0 2 00
SATInterface
Library to formulate SAT problems in .NET
Language:C#5 3 20

sfiruch's Repositories

sfiruch/SATInterface
Library to formulate SAT problems in .NET
Language:C#5 3 20
sfiruch/kissat
Language:C1 2 10
sfiruch/AMt
Language:Jupyter Notebook0 1 00
sfiruch/cadical
CaDiCaL SAT Solver
Language:C++0 2 00
sfiruch/cryptominisat
An advanced SAT solver
Language:C++0 1 00
sfiruch/dotnet-api-docs
.NET API reference documentation (.NET 5+, .NET Core, .NET Framework)
Language:C#0 1 00
sfiruch/ElfDiff
Language:C#0 2 00
sfiruch/Extensions
Language:C#0 2 00
sfiruch/javatuples
Typesafe representation of tuples in Java.
Language:Java0 1 00
sfiruch/PFSSCompression
Language:C#0 2 00
sfiruch/Pinocchio
PINpointing Orbit Crossing Collapsed Hierarchical Objects
Language:C1 0
sfiruch/runtime
.NET is a cross-platform runtime for cloud, mobile, desktop, and IoT apps.
Language:C#1 0
sfiruch/stainless
Verification framework and tool for higher-order Scala programs