msolve ====== /usr/lib/.build-id /usr/lib/.build-id/cc /usr/bin/msolve /usr/lib/.build-id/cc/4aa8b5c3c14325e4d0c13ea45f1408e0a47c78 /usr/share/man/man1/msolve.1.gz msolve-libs =========== /usr/lib/.build-id /usr/lib/.build-id/4b /usr/lib/.build-id/85 /usr/share/doc/msolve-libs /usr/share/licenses/msolve-libs /usr/lib/.build-id/4b/e61235027539253d5184bbaec47941edd8b852 /usr/lib/.build-id/85/61f7549c5bcd4fd8a65e0ab346a938512abee1 /usr/lib64/libmsolve-0.5.0.so /usr/lib64/libneogb-0.5.0.so /usr/share/doc/msolve-libs/AUTHORS /usr/share/doc/msolve-libs/README.md /usr/share/licenses/msolve-libs/COPYING msolve-devel ============ /usr/include/msolve /usr/include/neogb /usr/include/msolve/msolve-data.h /usr/include/msolve/msolve.h /usr/include/neogb/basis.h /usr/include/neogb/data.h /usr/include/neogb/engine.h /usr/include/neogb/f4.h /usr/include/neogb/f4sat.h /usr/include/neogb/hash.h /usr/include/neogb/io.h /usr/include/neogb/la.h /usr/include/neogb/libneogb.h /usr/include/neogb/modular.h /usr/include/neogb/nf.h /usr/include/neogb/sba.h /usr/include/neogb/sort_r.h /usr/include/neogb/stat.h /usr/include/neogb/tools.h /usr/include/neogb/update.h /usr/lib64/libmsolve.so /usr/lib64/libneogb.so msolve-debuginfo ================ /usr/lib/debug /usr/lib/debug/.build-id /usr/lib/debug/.build-id/cc /usr/lib/debug/.dwz /usr/lib/debug/usr /usr/lib/debug/usr/bin /usr/lib/debug/.build-id/cc/4aa8b5c3c14325e4d0c13ea45f1408e0a47c78 /usr/lib/debug/.build-id/cc/4aa8b5c3c14325e4d0c13ea45f1408e0a47c78.debug /usr/lib/debug/.dwz/msolve-0.5.0-1.fc39.x86_64 /usr/lib/debug/usr/bin/msolve-0.5.0-1.fc39.x86_64.debug msolve-debugsource ================== /usr/src/debug/msolve-0.5.0-1.fc39.x86_64 /usr/src/debug/msolve-0.5.0-1.fc39.x86_64/src /usr/src/debug/msolve-0.5.0-1.fc39.x86_64/src/crt /usr/src/debug/msolve-0.5.0-1.fc39.x86_64/src/fglm /usr/src/debug/msolve-0.5.0-1.fc39.x86_64/src/msolve /usr/src/debug/msolve-0.5.0-1.fc39.x86_64/src/neogb /usr/src/debug/msolve-0.5.0-1.fc39.x86_64/src/usolve /usr/src/debug/msolve-0.5.0-1.fc39.x86_64/src/crt/mpq_reconstruct.c /usr/src/debug/msolve-0.5.0-1.fc39.x86_64/src/crt/mpz_CRT_ui.c /usr/src/debug/msolve-0.5.0-1.fc39.x86_64/src/fglm/berlekamp_massey.c /usr/src/debug/msolve-0.5.0-1.fc39.x86_64/src/fglm/data_fglm.c /usr/src/debug/msolve-0.5.0-1.fc39.x86_64/src/fglm/fglm_core.c /usr/src/debug/msolve-0.5.0-1.fc39.x86_64/src/fglm/libfglm.h /usr/src/debug/msolve-0.5.0-1.fc39.x86_64/src/fglm/linalg-fglm.c /usr/src/debug/msolve-0.5.0-1.fc39.x86_64/src/fglm/matrix-mult.c /usr/src/debug/msolve-0.5.0-1.fc39.x86_64/src/msolve/duplicate.c /usr/src/debug/msolve-0.5.0-1.fc39.x86_64/src/msolve/hilbert.c /usr/src/debug/msolve-0.5.0-1.fc39.x86_64/src/msolve/iofiles.c /usr/src/debug/msolve-0.5.0-1.fc39.x86_64/src/msolve/libmsolve.c /usr/src/debug/msolve-0.5.0-1.fc39.x86_64/src/msolve/lifting-gb.c /usr/src/debug/msolve-0.5.0-1.fc39.x86_64/src/msolve/lifting.c /usr/src/debug/msolve-0.5.0-1.fc39.x86_64/src/msolve/linear.c /usr/src/debug/msolve-0.5.0-1.fc39.x86_64/src/msolve/main.c /usr/src/debug/msolve-0.5.0-1.fc39.x86_64/src/msolve/msolve-data.c /usr/src/debug/msolve-0.5.0-1.fc39.x86_64/src/msolve/msolve-data.h /usr/src/debug/msolve-0.5.0-1.fc39.x86_64/src/msolve/msolve.c /usr/src/debug/msolve-0.5.0-1.fc39.x86_64/src/msolve/primes.c /usr/src/debug/msolve-0.5.0-1.fc39.x86_64/src/neogb/basis.c /usr/src/debug/msolve-0.5.0-1.fc39.x86_64/src/neogb/basis.h /usr/src/debug/msolve-0.5.0-1.fc39.x86_64/src/neogb/convert.c /usr/src/debug/msolve-0.5.0-1.fc39.x86_64/src/neogb/data.c /usr/src/debug/msolve-0.5.0-1.fc39.x86_64/src/neogb/data.h /usr/src/debug/msolve-0.5.0-1.fc39.x86_64/src/neogb/engine.c /usr/src/debug/msolve-0.5.0-1.fc39.x86_64/src/neogb/engine.h /usr/src/debug/msolve-0.5.0-1.fc39.x86_64/src/neogb/f4.c /usr/src/debug/msolve-0.5.0-1.fc39.x86_64/src/neogb/f4.h /usr/src/debug/msolve-0.5.0-1.fc39.x86_64/src/neogb/f4sat.c /usr/src/debug/msolve-0.5.0-1.fc39.x86_64/src/neogb/f4sat.h /usr/src/debug/msolve-0.5.0-1.fc39.x86_64/src/neogb/gb.c /usr/src/debug/msolve-0.5.0-1.fc39.x86_64/src/neogb/hash.c /usr/src/debug/msolve-0.5.0-1.fc39.x86_64/src/neogb/hash.h /usr/src/debug/msolve-0.5.0-1.fc39.x86_64/src/neogb/io.c /usr/src/debug/msolve-0.5.0-1.fc39.x86_64/src/neogb/io.h /usr/src/debug/msolve-0.5.0-1.fc39.x86_64/src/neogb/la_ff_16.c /usr/src/debug/msolve-0.5.0-1.fc39.x86_64/src/neogb/la_ff_32.c /usr/src/debug/msolve-0.5.0-1.fc39.x86_64/src/neogb/la_ff_8.c /usr/src/debug/msolve-0.5.0-1.fc39.x86_64/src/neogb/la_qq.c /usr/src/debug/msolve-0.5.0-1.fc39.x86_64/src/neogb/modular.c /usr/src/debug/msolve-0.5.0-1.fc39.x86_64/src/neogb/modular.h /usr/src/debug/msolve-0.5.0-1.fc39.x86_64/src/neogb/nf.c /usr/src/debug/msolve-0.5.0-1.fc39.x86_64/src/neogb/nf.h /usr/src/debug/msolve-0.5.0-1.fc39.x86_64/src/neogb/order.c /usr/src/debug/msolve-0.5.0-1.fc39.x86_64/src/neogb/sba.c /usr/src/debug/msolve-0.5.0-1.fc39.x86_64/src/neogb/sba.h /usr/src/debug/msolve-0.5.0-1.fc39.x86_64/src/neogb/sort_r.h /usr/src/debug/msolve-0.5.0-1.fc39.x86_64/src/neogb/stat.c /usr/src/debug/msolve-0.5.0-1.fc39.x86_64/src/neogb/stat.h /usr/src/debug/msolve-0.5.0-1.fc39.x86_64/src/neogb/symbol.c /usr/src/debug/msolve-0.5.0-1.fc39.x86_64/src/neogb/tools.c /usr/src/debug/msolve-0.5.0-1.fc39.x86_64/src/neogb/tools.h /usr/src/debug/msolve-0.5.0-1.fc39.x86_64/src/neogb/update.c /usr/src/debug/msolve-0.5.0-1.fc39.x86_64/src/usolve/data_usolve.c /usr/src/debug/msolve-0.5.0-1.fc39.x86_64/src/usolve/descartes.c /usr/src/debug/msolve-0.5.0-1.fc39.x86_64/src/usolve/evaluate.c /usr/src/debug/msolve-0.5.0-1.fc39.x86_64/src/usolve/libusolve.h /usr/src/debug/msolve-0.5.0-1.fc39.x86_64/src/usolve/print_usolve.c /usr/src/debug/msolve-0.5.0-1.fc39.x86_64/src/usolve/refine.c /usr/src/debug/msolve-0.5.0-1.fc39.x86_64/src/usolve/taylor_shift.c /usr/src/debug/msolve-0.5.0-1.fc39.x86_64/src/usolve/univmultiply.c /usr/src/debug/msolve-0.5.0-1.fc39.x86_64/src/usolve/usolve.c /usr/src/debug/msolve-0.5.0-1.fc39.x86_64/src/usolve/utils.c