Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | check.cl | 1252 | logplain |
-rw-r--r-- | gpusolver.rs | 2034 | logplain |
-rw-r--r-- | incremental_block.rs | 3436 | logplain |
-rwxr-xr-x | intuitive.rs | 4013 | logplain |
-rwxr-xr-x | mod.rs | 109 | logplain |
-rw-r--r-- | opencl.rs | 8711 | logplain |
-rw-r--r-- | solver1.rs | 993 | logplain |