Datasetpublic

sethuiyer/navokoj_sat_2024

Navokoj SAT 2024 Benchmark Results Navokoj is a computational physics engine that tackles NP-complete business problems by treating constraints as energy fields, allowing for real-time optimization. Navokoj uses non-commutative geometry and statistical mechanics to tackle SAT/Max-SAT problems. We achieve 92.57% perfect solutions on SAT 2024 industrial benchmarks. Results independently verifiable via API. 🚀 NitroSAT Engine (Open Source) NitroSAT is the… See the full description on the dataset page: https://huggingface.co/datasets/sethuiyer/navokoj_sat_2024.

sourceHugging Facecc-by-4.0updated 7mo agoView on Hugging Face

1likes51downloads

settings

This repository belongs to sethuiyer on Hugging Face.

CoolFace never edits a repository it does not host. Visibility, licence, collaborators and gating are all managed at the source.

namenavokoj_sat_2024

visibilitypublic

licencecc-by-4.0

gatedno

ownersethuiyer

Account settings