The Wayback Machine - https://web.archive.org/web/20210927084437/https://github.com/msoos
Skip to content
Avatar

Achievements

Achievements

Organizations

@stp
Block or Report

Block or report msoos

Report abuse

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

Report abuse

Pinned

  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…

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