Block or report user

Report or block radekm

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse
Pro

Popular repositories

  1. ocaml-tptp

    Library for reading and writing FOF and CNF formulas in TPTP format

    OCaml 2 1

  2. crossbow

    Finite model finder

    C++ 1 1

  3. opam-repository

    Forked from ocaml/opam-repository

    Main public package repository for OPAM, the source package manager of OCaml.

    OCaml 1

  4. DirSum

    Creates, analyzes and compares directory checksums.

    F# 1

  5. satviz

    SAT solver visualization. Supports watched literals and learned clause minimization.

    JavaScript

  6. josat

    Forked from niklasso/minisat

    SAT solver based on MiniSat

    C++

17 contributions in the last year

Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Jan Mon Wed Fri

Contribution activity

January 2019

radekm has no activity yet for this period.

Seeing something unexpected? Take a look at the GitHub profile guide.