Programming languages used in this repository

  •   C
    43.93 %
  •   SMT
    36.59 %
  •   Tcl
    18.77 %
  •   C++
    0.41 %
  •   Stata
    0.29 %

Commit statistics for master May 24 - May 24

  • Total: 6 commits
  • Average per day: 6.0 commits
  • Authors: 1

Commits per day of month

Commits per weekday

Commits per day hour (UTC)