Skip to content




Block or Report

Block or report msoos

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse


  1. An advanced SAT solver

    C++ 552 138

  2. Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter

    C++ 38 12

  3. Grain of Salt equation generator

    C 6 3

  4. Forked from ltentrup/cryptominisat-rs

    CryptoMiniSat rust bindings

    Rust 2

  5. SAT Competition 2013 Source Archives

    3 1

  6. SAT Competition 2014 Source Archives

    1 1

474 contributions in the last year

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

Contribution activity

September 2021

Created an issue in pypa/warehouse that received 3 comments

I am the author of CryptoMiniSat, I'd like to get control of pycryptosat

Hi, I am Mate Soos, the author of CryptoMiniSat, as per my GitHub profile, and as per how the original PyPi maintainer put together the pycryptosat…

Opened 1 other issue in 1 repository
pypa/pypi-support 1 open

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