Skip to content


  • Arctic Code Vault Contributor
Block or Report

Popular repositories

  1. A Constraint Solver

    OCaml 11 3

  2. My academic publications


  3. SAT-based Pseudo-Boolean Solver

    Common Lisp

39 contributions in the last year

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

Contribution activity

April 2021

Created 1 commit in 1 repository

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