Example charm++/matmul: simplify logic for when to pass blocks
[charm.git] / examples / charm++ / satisfiability /
drwxr-xr-x   ..
-rw-r--r-- 1772 Makefile
drwxr-xr-x - TNM
drwxr-xr-x - example
-rw-r--r-- 11390 main.C
-rw-r--r-- 348 main.ci
-rw-r--r-- 262 main.h
drwxr-xr-x - minisat
-rw-r--r-- 15907 par_Solver.C
-rw-r--r-- 2524 par_Solver.h
-rw-r--r-- 7567 par_SolverTypes.h
drwxr-xr-x - verify