Skip to content
View maxtuno's full-sized avatar
💭
Completeness or not completeness this is the question.
💭
Completeness or not completeness this is the question.
39 followers · 31 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Starstruck
Block or Report

Block or report maxtuno

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse

  • Hyperconvergent-Prompt-Engineering Public

    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 …

    Python 1 MIT License Updated Oct 1, 2023

  • SLIME Public

    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.

    cloud cluster solver mpi cnf sat-solver sat
    C++ 6 Other Updated May 25, 2023

  • HESS_AUTO_ML Public

    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 …

    Jupyter Notebook Apache License 2.0 Updated Jan 24, 2023

  • Diffusion_Models Public

    A simple implementation of Diffusion Models for study

    Jupyter Notebook Updated Dec 25, 2022

  • CNFX Public

    A base -1 + i CNF encoder for complex field operations.

    Python 1 Updated Dec 7, 2022

  • HESS_HPC Public

    An HPC implementación of HESS algorithm for Continuous TSP.

    C++ MIT License Updated Oct 17, 2022

  • HESS-vs-ML Public

    HESS Algorithm v/s ML Algorithms

    C++ MIT License Updated Aug 13, 2022

  • HESS-KNAPSACK Public

    A HESS Knapsack O(n^2.x) + O(Oracle) Pseudo (exact in many cases) Optimal Solver

    C++ 3 MIT License Updated Aug 10, 2022

  • maxtuno Public

    sharing files on https://twitter.com/maxtuno

    Python 5 1 Updated Aug 4, 2022

  • HESS-SHA256 Public

    A sha256 sequential inverter with HESS algorithm.

    C++ 3 1 MIT License Updated Jul 15, 2022

  • HESS-SAT-COMPLETE Public

    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 …

    C++ 3 2 MIT License Updated Jul 13, 2022

  • HESS-GSP Public

    HESS Algorithm for General Satiafiability Problem (On Multivalued Logics)

    Python 2 MIT License Updated Jul 11, 2022

  • CircuitSAT Public

    A Circuit SAT language that emit CNF code.

    programming-language satsolver circuit cnf sat circuitsat satiafiability
    Python 3 MIT License Updated Jun 28, 2022

  • SATX Public

    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 csp optimization solver nonlinear cnf sat
    Python 5 1 MIT License Updated Jun 14, 2022

  • HESS-HAMPATH-COMPLETE Public

    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 …

    C 1 1 MIT License Updated Jan 20, 2022

  • CDCL Public

    A simple and pure CDCL algorithm for experiment with new heuristics...

    C++ 2 BSD 2-Clause "Simplified" License Updated Nov 8, 2021

  • Complexity-Tools Public

    Complexity: Reductions, Scripts, Tools.

    C 3 Updated Oct 1, 2021

  • PEQNP Public

    PEQNP Mathematical Solver

    csp solver constraint satisfaction diophantine
    C++ 13 Other Updated Sep 25, 2021

  • Hyper-Exponential-Space-Sorting Public

    HESS (New Feature 2021) polynomial black-box for Hamiltonian Path Problem

    C 1 Other Updated Sep 24, 2021

  • Research Public

    My latest research results for review. www.peqnp.com

    Python Updated Aug 18, 2021

  • HESS Public

    HESS black-box algorithm from http:https://www.peqnp.com

    Python 3 Other Updated Aug 11, 2021

  • slime-sat-solver Public

    A Free World Class High Performance SAT Solver

    cnf sat-solver sat satisfiability cnf-clauses cnf-encoding
    JavaScript 20 1 Other Updated Jul 12, 2021

  • Forrelation Public

    The HESS polynomial black-box algorithm solve a problem related to "Forrelation" problem.

    Python 3 Other Updated Apr 12, 2021

  • blue Public

    A Powerful SAT Solver for Java

    Java 6 MIT License Updated Mar 31, 2021

  • CVRP Public

    A simple CVRP solver based on O. Riveros HESS black-box algorithm www.peqnp.com

    C++ 3 Other Updated Mar 30, 2021

  • BASILISK-SAT-SOLVER Public

    Simple and efficient pure CDCL algorithm for educational purposes.

    C++ 3 Updated Mar 14, 2021

  • SLIME_SOLVED_UNKNOWN_INSTANCES Public

    UNKNOWN Status Solved Instances by SLIME 5 with HESS and BOOST algorithm

    2 Updated Mar 2, 2021

  • HESS_TSP Public

    ORiveros HESS Black Box Algorithm (for TSP)

    C 3 Other Updated Jan 13, 2021

  • V Public

    My V Lang Codes https://vlang.io

    V 2 Updated Dec 24, 2020

  • CERBERO Public

    A C89 SAT Solver with DRUP Proof

    C 2 Apache License 2.0 Updated Nov 1, 2020