lib4ti2-util: library for algebraic, geometric and combinatorial problems on linear spaces - binary

    2016-10-16 21:35           0 usr/bin/
    2016-10-16 21:35       29203 usr/bin/4ti2gmp.exe
    2016-10-16 21:35       29203 usr/bin/4ti2int32.exe
    2016-10-16 21:35       29203 usr/bin/4ti2int64.exe
    2016-10-16 21:34        2369 usr/bin/circuits
    2016-10-16 21:35        9235 usr/bin/genmodel.exe
    2016-10-16 21:35        9235 usr/bin/gensymm.exe
    2016-10-16 21:34         636 usr/bin/graver
    2016-10-16 21:34        2369 usr/bin/groebner
    2016-10-16 21:34         636 usr/bin/hilbert
    2016-10-16 21:34        2369 usr/bin/markov
    2016-10-16 21:34        2369 usr/bin/minimize
    2016-10-16 21:34        2369 usr/bin/normalform
    2016-10-16 21:35        9235 usr/bin/output.exe
    2016-10-16 21:35       32787 usr/bin/ppi.exe
    2016-10-16 21:34        2369 usr/bin/qsolve
    2016-10-16 21:34        2369 usr/bin/rays
    2016-10-16 21:34        2369 usr/bin/walk
    2016-10-16 21:34        2369 usr/bin/zbasis
    2016-10-16 21:35       12819 usr/bin/zsolve.exe
    2016-10-16 21:35           0 usr/share/
    2016-10-16 21:34           0 usr/share/4ti2/
    2016-10-16 21:34           0 usr/share/4ti2/doc/
    2016-10-16 21:34      392821 usr/share/4ti2/doc/4ti2_manual.pdf
    2016-10-16 21:35           0 usr/share/doc/
    2016-10-16 21:35           0 usr/share/doc/4ti2/
    2016-10-16 21:35          77 usr/share/doc/4ti2/AUTHORS
    2016-10-16 21:35       17987 usr/share/doc/4ti2/COPYING
    2016-10-16 21:35        4978 usr/share/doc/4ti2/NEWS
    2016-10-16 21:35        3552 usr/share/doc/4ti2/README
    2016-10-16 21:35         170 usr/share/doc/4ti2/THANKS
    2016-10-16 21:35        4620 usr/share/doc/4ti2/TODO