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

    2022-01-30 23:45           0 usr/bin/
    2022-01-30 23:44       29715 usr/bin/4ti2gmp.exe
    2022-01-30 23:44       30227 usr/bin/4ti2int32.exe
    2022-01-30 23:44       30227 usr/bin/4ti2int64.exe
    2022-01-30 23:44        2369 usr/bin/circuits
    2022-01-30 23:45        9747 usr/bin/genmodel.exe
    2022-01-30 23:45        9747 usr/bin/gensymm.exe
    2022-01-30 23:44         465 usr/bin/graver
    2022-01-30 23:44        2369 usr/bin/groebner
    2022-01-30 23:44         465 usr/bin/hilbert
    2022-01-30 23:44        2369 usr/bin/markov
    2022-01-30 23:44        2369 usr/bin/minimize
    2022-01-30 23:44        2369 usr/bin/normalform
    2022-01-30 23:45        9747 usr/bin/output.exe
    2022-01-30 23:45       28691 usr/bin/ppi.exe
    2022-01-30 23:44        2369 usr/bin/qsolve
    2022-01-30 23:44        2369 usr/bin/rays
    2022-01-30 23:44        2369 usr/bin/walk
    2022-01-30 23:44        2369 usr/bin/zbasis
    2022-01-30 23:45       12819 usr/bin/zsolve.exe
    2022-01-30 23:44           0 usr/share/
    2022-01-30 23:44           0 usr/share/4ti2/
    2022-01-30 23:44           0 usr/share/4ti2/doc/
    2022-01-30 23:44      381763 usr/share/4ti2/doc/4ti2_manual.pdf
    2022-01-30 23:44           0 usr/share/doc/
    2022-01-30 23:44           0 usr/share/doc/lib4ti2/
    2022-01-30 23:44          77 usr/share/doc/lib4ti2/AUTHORS
    2022-01-30 23:44       17987 usr/share/doc/lib4ti2/COPYING
    2022-01-30 23:44        5485 usr/share/doc/lib4ti2/NEWS
    2022-01-30 23:44        3552 usr/share/doc/lib4ti2/README
    2022-01-30 23:44         170 usr/share/doc/lib4ti2/THANKS
    2022-01-30 23:44        4620 usr/share/doc/lib4ti2/TODO