Discover maxtuno/slime-sat-solver Open Source project

PEQNP Mathematical Solver

PEQNP

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/

Clojure

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.

UNIVERSAL NUMBER THEORY EQUATION OF SAT

SAT_EQUATION

Problem Solving: A Practical Workbook

problem-solving-book

A Powerful SAT Solver for Java

blue

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

maxtuno

Subset Sum Problem Solver

DEIDOS

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.

SATX

Advanced Algorithmic Composition Book by Oscar Riveros

Advanced-Algorithmic-Composition

Clojure & JSR-331 - Puzzles

Clojure---JSR-331---Puzzles

Clojure

Quantum-Programming-with-Quipper

Quantum Programming Series with Quipper by Oscar Riveros

Haskell

Assembler64

Some Standard Algorithm on Assembler 64

Elements Of Universal Number Theory Book

UNT_Book

sat_equation_and_abstract_binary_search

Some Update from

A sha256 sequential inverter with HESS algorithm.

HESS-SHA256

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

CVRP

Complexity: Reductions, Scripts, Tools.

Complexity-Tools

On_UNT_Union_Find_Algorithm

A O(n) UNT ALGORITHM FOR THE UNION-FIND PROBLEM

Approximation Ratio of a Deterministic Polynomial Black Box Over a MaxSAT Oracle

HESS_PAPER

A Circuit SAT language that emit CNF code.

CircuitSAT

Simple and efficient pure CDCL algorithm for educational purposes.

BASILISK-SAT-SOLVER

A complete SAT solver implemented on few lines of C code.

quark_sat

hess_max3lin

A polynomial time MAX3LIN aproximator that break the inapproximability ratio always?

PEQNP_EXAMPLES

Advanced PEQNP Examples

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

Forrelation

ORiveros HESS Black Box Algorithm (for TSP)

HESS_TSP

OLD_RESEARCH

Very Old Research For Historical Purposes

CUDA + Template Meta-Programming

MetaCUDA

Cuda

HESS_HP

HESS black-box for Hamiltonian Path Problem

HESS-KNAPSACK

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

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

HESS

A polynomial time "incomplete?" SAT Solver.

hess_mt

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.

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

CDCL

"Black Hole" a (API) Template for a Optimal HPC SAT Solver

black_hole

ORiveros-PEQNP-Benchmarks-sat2020

O. Riveros PEQNP Benchmarks SAT 2020 Competition

Permutation-Reconstruction-from-Differences

Permutation Reconstruction from Differences is NP-complete.

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

SLIME_SOLVED_UNKNOWN_INSTANCES

CERBERO

A C89 SAT Solver with DRUP Proof

MiniSat

MiniSat 2.2.0 with DRUP proof, CMake and StarExec Ready.

My V Lang Codes https://vlang.io

TTP_Validator

Simple Template or Validator for "Travelling Thief Problem"

A complete SAT solver implemented on few lines of C++ code. (A C++ version of https://github.com/maxtuno/quark_sat)

quark_sat-

Distributed Algorithms Examples

Distributed-Algorithms

Fortran

Partition_Ramanujan

Integer Partitions

PEQN CNF Submodule Examples

CNFExamples

basic python native extensions examples

python3-cpp

DEIDOS ULTIMATE (NP-Complete Problem Solver) Benchmarks

DEIDOS-ULTIMATE-BENCHMARKS

HESS Algorithm for General Satiafiability Problem (On Multivalued Logics)

HESS-GSP

A simple calculator created in 5 minutes with ANTLR4, an example of a small interpreted language with centralized object. (for fun)

Calculator

DEIDOS (NP-Complete Problem Solver) vs THE WORLD

DEIDOS-BENCHMARKS-DUEL

PEQNP Java Interop with Jython Example

peqnp_jvm

The companion materials to HESS algorithm paper.

HESS-paper

Shell

snippets

some (HPC) code snippets (for reference)

big-csp-examples

Polynomial Constrained Integer Programming Examples with Big-CSP

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

CNFX

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

Hyper-Exponential-Space-Sorting

HESS-HAMPATH-COMPLETE

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.