GitHub - Apich238/mySAT: attempt to make neural SAT solver

Name		Name	Last commit message	Last commit date
Latest commit History 15 Commits
.idea		.idea
logic		logic
sat		sat
chk.py		chk.py
nnet.py		nnet.py
test_gpu.py		test_gpu.py

About

attempt to make neural SAT solver

Report repository

Releases

No releases published

Packages

No packages published

Languages