maxtuno
武士道 - I'm like a computer that's been overclocked—I run faster, think sharper, and occasionally need a cooling break!
Funding Links: https://github.com/sponsors/maxtuno
- Name: Oscar Riveros
- Kind: user
- Followers: 41
- Following: 31
- Total stars: 251
- Repositories count: 72
- Created at: 2022-11-04T04:34:45.038Z
- Updated at: 2025-03-09T14:58:30.284Z
- Last synced at: 2025-03-09T14:58:30.284Z
GitHub Sponsors Profile
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.
- Current Sponsors: 0
- Past Sponsors: 0
- Total Sponsors: 0
- Minimum Sponsorship: $1.00
Featured Works
maxtuno/slime-sat-solver
A Free World Class High Performance SAT Solver
Language: JavaScript - Stars: 20maxtuno/PEQNP
PEQNP Mathematical Solver
Language: C++ - Stars: 13maxtuno/blue
A Powerful SAT Solver for Java
Language: Java - Stars: 6maxtuno/SAT_EQUATION
UNIVERSAL NUMBER THEORY EQUATION OF SAT
Language: Python - Stars: 6maxtuno/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…
Language: Python - Stars: 5maxtuno/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.
Language: C++ - Stars: 6