shaobo-he SAT.rkt issues - Githubissues

shaobo-he / SAT.rkt

Implementations of SLS-based SAT Solving Algorithms in Racket

Other

0 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

use Racket bit-vec instead of hash table

#3 shaobo-he opened 5 years ago
0
try non-deterministic choices of DPLL

#2 shaobo-he opened 5 years ago
1
study distributions of n-queens

#1 shaobo-he opened 5 years ago
0