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

root

file.gitattributes2 KBdownload

filedemo.png831 KBdownload

filehowitworks.png1.2 MBdownload

filemini_engine_all_files_comprehensive.json7.2 MBdownload

filenano_engine_all_files_comprehensive.json7.3 MBdownload

filepro_engine_all_files_comprehensive.json8.4 MBdownload

fileREADME.md4 KBdownload

filesat_benchmark_final_verified.csv3.9 MBdownload

filesol.zip7.5 MBdownload

filetests_cnf.zip531.5 MBdownload

filetimetaken.jpg140 KBdownload

sethuiyer/navokoj_sat_2024 · main · files are served by the source, never re-hosted here