Download Latest Version k-SAT_0_00032.zip (33.5 kB)
Email in envelope

Get an email when there's a new version of Linear Algebra k-SAT

Home
Name Modified Size InfoDownloads / Week
k-SAT_0_00032.zip 2011-10-04 33.5 kB
0
readme_.txt 2011-10-04 209 Bytes
0
Totals: 2 Items   33.7 kB 0 
<k-SAT sources for Linear Algebra k-SAT>
Copyright (C) 2011  Matt Groff

Licenses are included in the zip files
or you can download a copy of the license
from <http://www.gnu.org/licenses/gpl.html>.
Source: readme_.txt, updated 2011-10-04