fkutzner

fkutzner's Stars

• Udopia/gbdhash

  Calculate GBDHash for DIMACS CNF

  Language:C++1

• arminbiere/kissat

  Language:C46285

• marijnheule/microsat

  microsat

  Language:C13026

• marijnheule/drat-trim

  The DRAT-trim proof checker

  Language:C5020

• marzer/tomlplusplus

  Header-only TOML config file parser and serializer for C++17.

  Language:C++1.6k152

• CLIUtils/CLI11

  CLI11 is a command line parser for C++11 and beyond that provides a rich feature set with a simple and intuitive interface.

  Language:C++3.4k353

• microsoft/GSL

  Guidelines Support Library

  Language:C++6.2k740

• Robbepop/cnf-parser

  Efficient and customizable CNF parser for SAT solving.

  Language:Rust3

• satcompetition/2020

  SAT Competition 2020

  Language:TeX32

• sat-clique/super-simple-sat

  A super simple SAT solver.

  Language:Rust3

• microsoft/STL

  MSVC's implementation of the C++ Standard Library.

  Language:C++10.2k1.5k

• llvm-mirror/lld

  Project moved to: https://github.com/llvm/llvm-project

  Language:C++203154

• Boolector/boolector

  A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.

  Language:SMT33562

• arminbiere/cadical

  CaDiCaL SAT Solver

  Language:C++379134

• biotomas/ipasir

  The Standard Interface for Incremental Satisfiability Solving

  Language:C++4814

• Udopia/gbd

  Management of Benchmark Instances and Instance Attributes

  Language:Python176

• msoos/cryptominisat

  An advanced SAT solver

  Language:C++823184

• Robbepop/ipasir-rs

  FFI bindings for the IPASIR incremental SAT solver interface.

  Language:Rust11

• drduh/macOS-Security-and-Privacy-Guide

  Guide to securing and improving privacy on macOS

  21.3k1.5k

• Robbepop/apint

  Arbitrary precision integers library.

  Language:Rust264

• Robbepop/stevia

  A simple (unfinished) SMT solver for QF_ABV.

  Language:Rust365

• Robbepop/state_ptr

  A pointer that allows to store state into unused bits of the address.

  Language:C++31