maxtuno

Un artista que explora los abismos humanos, los enigmas existenciales y las contradicciones de la realidad. Busco crear sentido y belleza en el caos.

Pinned Repositories

DEIDOS
Subset Sum Problem Solver
Language:C++50
HESS-SAT-COMPLETE
The original HESS (Hyper Exponential Space Sorting) is a polynomial black-box optimization algorithm, that work very well with any NP-Complete, or NP-Hard problem, at 2021 thanks to suggestions of Daniel Mattes, work like a complete algorithm.
Language:C++3 2 12
mx
Mx is a highly expressive constraint-based music composition system that transforming a high-level representation of musical structure into a MIDI file. Read more http://mx-clojure.blogspot.com/
Language:Clojure12 3 01
Omega
Omega is an ultra pure lisp dialect, inspired by the work of Gregory Chaitin.
Language:Java15 3 01
PEQNP
PEQNP Mathematical Solver
Language:C++14 6 00
SAT_EQUATION
UNIVERSAL NUMBER THEORY EQUATION OF SAT
Language:Python61
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 easy to use with all technologies associated to this language.
Language:Python5 2 01
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++6 1 00
slime-sat-solver
A Free World Class High Performance SAT Solver
Language:JavaScript20 4 01
tooloud
Overtone Clojure Eclipse Live Coding Dubstep
Language:Clojure20 2 13

maxtuno's Repositories

maxtuno/slime-sat-solver
A Free World Class High Performance SAT Solver
Language:JavaScript20 4 01
maxtuno/PEQNP
PEQNP Mathematical Solver
Language:C++14 6 00
maxtuno/blue
A Powerful SAT Solver for Java
Language:Java6 3 0
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.
Language:C++6 1 00
maxtuno/maxtuno
sharing files on https://twitter.com/maxtuno
Language:Python5 3 01
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 easy to use with all technologies associated to this language.
Language:Python5 2 01
maxtuno/BASILISK-SAT-SOLVER
Simple and efficient pure CDCL algorithm for educational purposes.
Language:C++3 2 0
maxtuno/CircuitSAT
A Circuit SAT language that emit CNF code.
Language:Python3 1 0
maxtuno/Complexity-Tools
Complexity: Reductions, Scripts, Tools.
Language:C3 1 0
maxtuno/CVRP
A simple CVRP solver based on O. Riveros HESS black-box algorithm www.peqnp.com
Language:C++3 2 0
maxtuno/Forrelation
The HESS polynomial black-box algorithm solve a problem related to "Forrelation" problem.
Language:Python3 2 0
maxtuno/HESS
HESS black-box algorithm from http://www.peqnp.com
Language:Python3 2 0
maxtuno/HESS-KNAPSACK
A HESS Knapsack O(n^2.x) + O(Oracle) Pseudo (exact in many cases) Optimal Solver
Language:C++3 2 00
maxtuno/HESS-SAT-COMPLETE
The original HESS (Hyper Exponential Space Sorting) is a polynomial black-box optimization algorithm, that work very well with any NP-Complete, or NP-Hard problem, at 2021 thanks to suggestions of Daniel Mattes, work like a complete algorithm.
Language:C++3 2 12
maxtuno/HESS-SHA256
A sha256 sequential inverter with HESS algorithm.
Language:C++3 1 01
maxtuno/HESS_TSP
ORiveros HESS Black Box Algorithm (for TSP)
Language:C3 2 0
maxtuno/CDCL
A simple and pure CDCL algorithm for experiment with new heuristics...
Language:C++2 2 0
maxtuno/CERBERO
A C89 SAT Solver with DRUP Proof
Language:C2 2 0
maxtuno/HESS-GSP
HESS Algorithm for General Satiafiability Problem (On Multivalued Logics)
Language:Python2 1 0
maxtuno/SLIME_SOLVED_UNKNOWN_INSTANCES
UNKNOWN Status Solved Instances by SLIME 5 with HESS and BOOST algorithm
2 2 0
maxtuno/V
My V Lang Codes https://vlang.io
Language:V2 2 0
maxtuno/CNFX
A base -1 + i CNF encoder for complex field operations.
Language:Python1 1 00
maxtuno/HESS-HAMPATH-COMPLETE
The original HESS (Hyper Exponential Space Sorting) is a polynomial black-box optimization algorithm, that work very well with any NP-Complete, or NP-Hard problem, at 2021 thanks to suggestions of Daniel Mattes, work like a complete algorithm.
Language:C1 2 01
maxtuno/Hyper-Exponential-Space-Sorting
HESS (New Feature 2021) polynomial black-box for Hamiltonian Path Problem
Language:C1 2 0
maxtuno/Hyperconvergent-Prompt-Engineering
Engineering that combines the speed in task execution with the integration of hyperconvergent technologies, involving a convergence of computing, storage, and networking resources in a unified and agile environment, with a high degree of human interaction and artificial intelligence.
Language:Python1 1 00
maxtuno/Diffusion_Models
A simple implementation of Diffusion Models for study
Language:Jupyter Notebook0 2 00
maxtuno/HESS-vs-ML
HESS Algorithm v/s ML Algorithms
Language:C++1 0
maxtuno/HESS_AUTO_ML
Basic examples of the use of the HESS algorithm for everything related to Auto ML, the intention is to create a robust and easy to use Open Source Framework that can compete with the greats of the industry.
Language:Jupyter Notebook
maxtuno/HESS_HPC
An HPC implementación of HESS algorithm for Continuous TSP.
Language:C++
maxtuno/Research
My latest research results for review. www.peqnp.com
Language:Python2 0