Block or report user

Report or block capiman

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Popular repositories

  1. lpc21isp

    lpc21isp - Portable command line ISP for Philips LPC family and Analog Devices ADUC70xx

    C 37 33

  2. sha256-sat-bitcoin


    C++ 20 7

  3. cryptominisat

    Forked from msoos/cryptominisat

    An advanced SAT Solver


8 contributions in the last year

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

Contribution activity

June - October 2018

capiman has no activity yet for this period.

May 2018

Created an issue in msoos/cryptominisat that received 4 comments

Implement redundant clause query along with a fuzzer that checks them

Looking at 7f4081b#diff-7ec3c68a81efff79b6ca22ac1f1eabbaL362 I would say dumpred/dumpirred is meanwhile removed. Is there some replacement to get r…


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