Niklas Sorensson (@niklasso)
github

niklasso

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    1,057
  • Global Rank 28,978 (Top 1.0 %)
  • Followers 75
  • Registered about 15 years ago
  • Most used languages
    C++
         75.0 %
    Haskell
         12.5 %
    HTML
         12.5 %

Top repositories

1

minisat

A minimalistic and high-performance SAT solver
C++
985
star
2

minisatp

The Pseudo-Boolean Solver MiniSat+
C++
26
star
3

tip

A model checker based on SAT solving and induction
C++
13
star
4

minisat-haskell-bindings

Haskell-Bindings to MiniSat
Haskell
13
star
5

minisat-examples

Collection of examples for the MiniSat API
C++
12
star
6

minisat-c-bindings

C-Bindings to MiniSat
C++
7
star
7

supermini

A CMake super-project of MiniSat related tools and libraries for easier building
5
star
8

mcl

Simple circuit library for MiniSat
C++
5
star
9

minisat-webpage

Webpage for MiniSat
HTML
3
star