Skip to content
You must be logged in to sponsor maxtuno

Become a sponsor to Oscar Riveros

@maxtuno

Oscar Riveros

maxtuno

I am Oscar Riveros, a practical researcher in algorithmics, and resolution of complex problems.
I love open problems, difficult ones, the truth is I'm already retired due to health problems, but I'm still researching and creating technology?
The sponsorship would allow me to advance further with my technology, I was paying some hosts, and investing in IDEs, design, and everything went up a lot in value, basically only the domain name went up to 1000 USD per renewal, and since everything What I do is for the love of art, I did not see it prudent to continue investing my savings in this, so the money would basically be destined to pay IDEs (jetbrains) hosting, domain names, some other design, I put the work.

@maxtuno

I'll start making video tutorials, on advanced algorithms, SAT, NP-Complete problems, CUDA, well, high-tech stuff.

Featured work

  1. maxtuno/slime-sat-solver

    A Free World Class High Performance SAT Solver

    JavaScript 20
  2. maxtuno/PEQNP

    PEQNP Mathematical Solver

    C++ 14
  3. maxtuno/blue

    A Powerful SAT Solver for Java

    Java 6
  4. maxtuno/SAT_EQUATION

    UNIVERSAL NUMBER THEORY EQUATION OF SAT

    Python 6
  5. maxtuno/SATX

    SAT-X is a language for constrained optimization and decision problems over positive integers, that work with any SAT Competition standard SAT solver. Is based on Python, and is ase to learn and ea…

    Python 5
  6. maxtuno/SLIME

    SLIME Cloud: A Free Massive World Class High Performance SAT Solver, Winner of Crypto Track and 3rd place on Cloud Track at the SAT Competition 2021.

    C++ 6

Learn more about sponsoring developers and organizations.

Report abuse

0% towards 5 monthly sponsors goal

Be the first to sponsor this goal!

Select a tier

$ a month

A Public Sponsor achievement will be added to your profile.