.gitignore
LICENSE.txt
README.md
_config.yml
autoguess.py
config.py
installer.sh
installer_macos.sh
pyproject.toml
requirements.txt
ciphers/AES/aes1kp-v0.py
ciphers/AES/aes1kp-v1.py
ciphers/AES/aes1kp-v2.py
ciphers/AES/output1r.txt
ciphers/AES/output2r.txt
ciphers/AES/output3r.txt
ciphers/AES/relationfile_aes1kp_1r_mg6_ms14.txt
ciphers/AES/relationfile_aes1kp_2r_mg10_ms20.txt
ciphers/AES/relationfile_aes1kp_3r_mg15_ms22.txt
ciphers/AES/References/2010-LDC-AES-633.pdf
ciphers/AES/References/Bouillaguet2011_Chapter_AutomaticSearchOfAttacksOnRoun.pdf
ciphers/AES/ResultsFromGroebner/Blockwise-CNF-to-ANF/output_groebner_aes_1r.txt
ciphers/AES/ResultsFromGroebner/Blockwise-CNF-to-ANF/output_groebner_aes_1r.txt.txt
ciphers/AES/ResultsFromGroebner/Simple-CNF-to-ANF/output_groebner_aes_1r
ciphers/AES/ResultsFromGroebner/Simple-CNF-to-ANF/output_groebner_aes_2r
ciphers/AES/Shapes/aes_round_function.pdf
ciphers/AES/Shapes/aes_round_function.svg
ciphers/AES/Shapes/GD-1Round/aes_1_round_gd_dg.pdf
ciphers/AES/Shapes/GD-1Round/aes_1_round_gd_dg.svg
ciphers/AES/Shapes/GD-2Rounds-10G/aes_2_rounds_10g_gd_dg.pdf
ciphers/AES/Shapes/GD-2Rounds-10G/aes_2_rounds_10g_gd_dg.svg
ciphers/AES/Shapes/GD-2Rounds-11G/aes_2_rounds_gd_dg.pdf
ciphers/AES/Shapes/GD-3Rounds-15G/aes_3_rounds_gd_dg.pdf
ciphers/AES/Shapes/GD-3Rounds-15G/aes_3_rounds_gd_dg.svg
ciphers/BelT/belt-128.py
ciphers/BelT/belt-192.py
ciphers/BelT/belt-256.py
ciphers/BelT/relationfile_belt-256_3r_mg10_ms10.txt
ciphers/BelT/relationfile_belt-256_4r_mg10_ms10.txt
ciphers/BelT/relationfile_belt-256_5r_mg10_ms10.txt
ciphers/BelT/References/BelT-FaultAttack.pdf
ciphers/BelT/References/belt-spec27.pdf
ciphers/BelT/References/exponential.pdf
ciphers/Bivium/BiviumA/BiviumA_177clks_maxguess24_maxsteps85_sat_without_preprocessing.txt
ciphers/Bivium/BiviumA/biviuma.py
ciphers/Bivium/BiviumA/relationfile_biviuma_177clk_mg24_ms85.txt
ciphers/Bivium/BiviumA/test.txt
ciphers/Bivium/BiviumA/Shapes/biviuma_24g_85s_gd_dg.svg
ciphers/Bivium/BiviumB/biviumb-v0.py
ciphers/Bivium/BiviumB/biviumb-v1.py
ciphers/Bivium/BiviumB/relationfile_biviumb_177clk_mg32_ms65.txt
ciphers/Bivium/References/040.pdf
ciphers/Bivium/References/Two_Trivial_Attacks_on_Trivium.pdf
ciphers/CRAFT/craft.py
ciphers/CRAFT/relationfile_craft_10r_mg28_ms50.txt
ciphers/CRAFT/relationfile_craft_11r_mg28_ms52.txt
ciphers/CRAFT/relationfile_craft_12r_mg29_ms55.txt
ciphers/CRAFT/relationfile_craft_13r_mg30_ms60.txt
ciphers/CRAFT/relationfile_craft_14r_mg32_ms70.txt
ciphers/CRAFT/relationfile_craft_1r_mg0_ms3.txt
ciphers/CRAFT/relationfile_craft_2r_mg16_ms4.txt
ciphers/CRAFT/relationfile_craft_3r_mg16_ms10.txt
ciphers/CRAFT/relationfile_craft_4r_mg20_ms16.txt
ciphers/CRAFT/relationfile_craft_5r_mg20_ms16.txt
ciphers/CRAFT/relationfile_craft_6r_mg23_ms35.txt
ciphers/CRAFT/relationfile_craft_7r_mg23_ms35.txt
ciphers/CRAFT/relationfile_craft_8r_mg26_ms40.txt
ciphers/CRAFT/relationfile_craft_9r_mg26_ms50.txt
ciphers/CRAFT/Shapes/craft_round_function.svg
ciphers/ChaCha/chacha.py
ciphers/ChaCha/chacha5R.txt
ciphers/ChaCha/chacha6R.txt
ciphers/ChaCha/relationfile_chacha_2clk_mg4_ms10.txt
ciphers/ChaCha/relationfile_chacha_3clk_mg8_ms15.txt
ciphers/ChaCha/relationfile_chacha_4clk_mg6_ms25.txt
ciphers/ChaCha/relationfile_chacha_5clk_mg8_ms25.txt
ciphers/ChaCha/References/ChaCha-Spec-574-Article Text-1961-2-10-20200323.pdf
ciphers/ChaCha/Shapes/chacha.svg
ciphers/Enocoro128v2/enocoro-v0.py
ciphers/Enocoro128v2/output.txt
ciphers/Enocoro128v2/relationfile_enocoro_16clk_mg18_ms22.txt
ciphers/Enocoro128v2/Shapes/alternative_repre_enocoro.png
ciphers/Enocoro128v2/Shapes/enocoro128_v2_16clks_18g_18s.svg
ciphers/Example0/example1.py
ciphers/Example0/relationfile_example1.txt
ciphers/Example1/relationfile.txt
ciphers/Example1/Shapes/example1_dg.svg
ciphers/Example2/example2.txt
ciphers/Example2/Shapes/example2_dg.svg
ciphers/Example3/relationfile.txt
ciphers/Example3/Shapes/example3_dg.svg
ciphers/Example3/Shapes/example3_output
ciphers/Example3/Shapes/toy_example_early_abortion.pdf
ciphers/Example4/algebraic_relations.txt
ciphers/Example4/Shapes/algebraic_relations_determination_flow_f0.pdf
ciphers/Example4/Shapes/example4_dg_D2.svg
ciphers/Example4/Shapes/example4_dg_D3.svg
ciphers/Example5/example5.txt
ciphers/Example5/Shapes/example5_dg.svg
ciphers/Example6/example2.py
ciphers/Example6/relationfile_rabit_9clk_mg6_ms22.txt
ciphers/Example6/Shapes/rabbit_0.svg
ciphers/Example6/Shapes/rabbit_1.svg
ciphers/Example6/Shapes/rabbit_dg.svg
ciphers/KCipher2/kcipher2-v0.py
ciphers/KCipher2/kcipher2-v1.py
ciphers/KCipher2/kcipher2-v3.py
ciphers/KCipher2/relationfile_kcipher2_8clk_mg10_ms19.txt
ciphers/KCipher2/References/AttackOnSimplifiedK2Cipher.pdf
ciphers/KCipher2/References/cryptrec-ex-2009-2010.pdf
ciphers/KCipher2/References/cryptrec-ex-2010-2010r1.pdf
ciphers/KCipher2/References/specification.pdf
ciphers/KCipher2/Shapes/kcipher2.svg
ciphers/KCipher2/Shapes/kcipher2_8clks_10g_19s_gd_dg.svg
ciphers/Khudra/khudar-v0.py
ciphers/Khudra/khudar-v1.py
ciphers/Khudra/relationfile_khudra_alternative_10r_mg4_ms10.txt
ciphers/Khudra/relationfile_khudra_alternative_11r_mg4_ms11.txt
ciphers/Khudra/relationfile_khudra_alternative_12r_mg4_ms12.txt
ciphers/Khudra/relationfile_khudra_alternative_13r_mg4_ms15.txt
ciphers/Khudra/relationfile_khudra_alternative_14r_mg4_ms16.txt
ciphers/Khudra/relationfile_khudra_alternative_1r_mg0_ms5.txt
ciphers/Khudra/relationfile_khudra_alternative_2r_mg1_ms5.txt
ciphers/Khudra/relationfile_khudra_alternative_3r_mg1_ms6.txt
ciphers/Khudra/relationfile_khudra_alternative_4r_mg1_ms6.txt
ciphers/Khudra/relationfile_khudra_alternative_5r_mg2_ms6.txt
ciphers/Khudra/relationfile_khudra_alternative_6r_mg3_ms6.txt
ciphers/Khudra/relationfile_khudra_alternative_7r_mg3_ms8.txt
ciphers/Khudra/relationfile_khudra_alternative_8r_mg3_ms11.txt
ciphers/Khudra/relationfile_khudra_alternative_9r_mg3_ms13.txt
ciphers/Khudra/Shapes/khudra_14r_gd_dg.pdf
ciphers/Khudra/Shapes/khudra_14r_gd_dg.svg
ciphers/Khudra/Shapes/khudra_alternative.pdf
ciphers/Khudra/Shapes/khudra_alternative.svg
ciphers/LBlock/LBlock-ID/lblockkb.py
ciphers/LBlock/LBlock-ID/output.txt
ciphers/LBlock/LBlock-ID/relationfile_lblock_22r.txt
ciphers/LBlock/LBlock-ID/References/fse-2016-key-bridging_full_version.pdf
ciphers/LBlock/LBlock-ID/shapes/determination_flow_lblock_id_23r.pdf
ciphers/LBlock/LBlock-ID/shapes/determination_flow_lblock_id_23r.svg
ciphers/LBlock/LBlock-ID/shapes/output_graph_lblock_id_23r.pdf
ciphers/LBlock/LBlock-Integral/XL18_relationfile_lblock_kb_24r_mg47_ms3.txt
ciphers/LBlock/LBlock-Integral/XL18_relationfile_lblock_kb_24r_mg47_ms3_paper.txt
ciphers/LBlock/LBlock-Integral/Z17_relationfile_lblock_kb_24r_mg55_ms3.txt
ciphers/LBlock/LBlock-Integral/Z17_relationfile_lblock_kb_24r_mg55_ms3_paper.txt
ciphers/LBlock/LBlock-Integral/convert_the_output_to_latex_table.py
ciphers/LBlock/LBlock-Integral/dtf_to_dg.py
ciphers/LBlock/LBlock-Integral/lblockkb.py
ciphers/LBlock/LBlock-Integral/output_twosides.txt
ciphers/LBlock/LBlock-Integral/output_xl18.txt
ciphers/LBlock/LBlock-Integral/output_z17.txt
ciphers/LBlock/LBlock-Integral/two_sides_relationfile_lblock_kb_24r_mg69_ms10.txt
ciphers/LBlock/LBlock-Integral/two_sides_relationfile_lblock_kb_24r_mg69_ms10_paper.txt
ciphers/LBlock/LBlock-Integral/two_sides_relationfile_lblock_kb_24r_mg69_ms10_paper_new_groebner.txt
ciphers/LBlock/LBlock-Integral/References/LBlock-iet-ifs.2019.0353.pdf
ciphers/LBlock/LBlock-Integral/shapes/lblock_integral_xl18.svg
ciphers/LBlock/LBlock-Integral/shapes/lblock_integral_z17.svg
ciphers/LBlock/LBlock-Integral/shapes/two_sides.svg
ciphers/LEA-128/lea-hong2014.pdf
ciphers/LEA-128/lea128.py
ciphers/LEA-128/relationfile_LEA128_1r_mg1_ms1.txt
ciphers/LEA-128/relationfile_LEA128_2r_mg1_ms6.txt
ciphers/LEA-128/relationfile_LEA128_3r_mg2_ms5.txt
ciphers/LEA-128/relationfile_LEA128_4r_mg3_ms4.txt
ciphers/PRESENT/PRESENT-128/groebner_basis_128bit_28r.txt
ciphers/PRESENT/PRESENT-128/output_128bit_groebner_28r
ciphers/PRESENT/PRESENT-128/present128kb.py
ciphers/PRESENT/PRESENT-128/relationfile_present_kb_28r_mg115_ms30.txt
ciphers/PRESENT/PRESENT-80/convert_the_output_to_latex_table.py
ciphers/PRESENT/PRESENT-80/output1.txt
ciphers/PRESENT/PRESENT-80/output2.txt
ciphers/PRESENT/PRESENT-80/present80kb-v0.py
ciphers/PRESENT/PRESENT-80/relationfile_present_kb_26r_mg60_ms10.txt
ciphers/PRESENT/PRESENT-80/relationfile_present_kb_26r_mg60_ms25_paper.txt
ciphers/PRESENT/PRESENT-80/relationfile_present_kb_27r_mg68_ms28.txt
ciphers/PRESENT/PRESENT-80/relationfile_present_kb_28r_mg73_ms30.txt
ciphers/PRESENT/PRESENT-80/relationfile_present_kb_28r_mg73_ms30_paper.txt
ciphers/PRESENT/PRESENT-80/ResultsFromGroebner/output_groebner_26r
ciphers/PRESENT/PRESENT-80/ResultsFromGroebner/output_groebner_27r
ciphers/PRESENT/PRESENT-80/ResultsFromGroebner/output_groebner_28r
ciphers/PRESENT/PRESENT-80/shapes/present_26r_determinationflow.pdf
ciphers/PRESENT/PRESENT-80/shapes/present_26r_determinationflow.svg
ciphers/PRESENT/References/Present–EUROCRYPT2020-JournalVersion.pdf
ciphers/SKINNY-TK1/relationfile_skinnytk1_10r_mg14_ms70.txt
ciphers/SKINNY-TK1/relationfile_skinnytk1_11r_mg15_ms75.txt
ciphers/SKINNY-TK1/relationfile_skinnytk1_1r_mg0_ms3.txt
ciphers/SKINNY-TK1/relationfile_skinnytk1_2r_mg0_ms7.txt
ciphers/SKINNY-TK1/relationfile_skinnytk1_3r_mg3_ms22.txt
ciphers/SKINNY-TK1/relationfile_skinnytk1_4r_mg5_ms22.txt
ciphers/SKINNY-TK1/relationfile_skinnytk1_5r_mg6_ms30.txt
ciphers/SKINNY-TK1/relationfile_skinnytk1_6r_mg9_ms40.txt
ciphers/SKINNY-TK1/relationfile_skinnytk1_7r_mg10_ms40.txt
ciphers/SKINNY-TK1/relationfile_skinnytk1_8r_mg12_ms60.txt
ciphers/SKINNY-TK1/relationfile_skinnytk1_9r_mg12_ms70.txt
ciphers/SKINNY-TK1/skinnytk1.py
ciphers/SKINNY-TK1/Shapes/skinny_tk1_11_rounds_gd_dg.pdf
ciphers/SKINNY-TK1/Shapes/skinny_tk1_11_rounds_gd_dg.svg
ciphers/SKINNY-TK1/Shapes/skinnytk1_gd_variables.svg
ciphers/SKINNY-TK2/SKINNY-TK2/relationfile_skinnytk2_10r_mg30_ms100.txt
ciphers/SKINNY-TK2/SKINNY-TK2/relationfile_skinnytk2_11r_mg31_ms100.txt
ciphers/SKINNY-TK2/SKINNY-TK2/relationfile_skinnytk2_1r_mg8_ms4.txt
ciphers/SKINNY-TK2/SKINNY-TK2/relationfile_skinnytk2_2r_mg16_ms8.txt
ciphers/SKINNY-TK2/SKINNY-TK2/relationfile_skinnytk2_3r_mg19_ms24.txt
ciphers/SKINNY-TK2/SKINNY-TK2/relationfile_skinnytk2_4r_mg21_ms27.txt
ciphers/SKINNY-TK2/SKINNY-TK2/relationfile_skinnytk2_5r_mg22_ms35.txt
ciphers/SKINNY-TK2/SKINNY-TK2/relationfile_skinnytk2_6r_mg25_ms40.txt
ciphers/SKINNY-TK2/SKINNY-TK2/relationfile_skinnytk2_7r_mg26_ms70.txt
ciphers/SKINNY-TK2/SKINNY-TK2/relationfile_skinnytk2_8r_mg28_ms80.txt
ciphers/SKINNY-TK2/SKINNY-TK2/relationfile_skinnytk2_9r_mg28_ms100.txt
ciphers/SKINNY-TK2/SKINNY-TK2/skinnytk2.py
ciphers/SKINNY-TK2/SKINNY-TK2-ZC/output1_milp_19g_12s.txt
ciphers/SKINNY-TK2/SKINNY-TK2-ZC/output2_sat_19g_12s.txt
ciphers/SKINNY-TK2/SKINNY-TK2-ZC/output3_milp_19g_50s.txt
ciphers/SKINNY-TK2/SKINNY-TK2-ZC/relationfile_skinnytk2zckb_20r_mg19_ms12.txt
ciphers/SKINNY-TK2/SKINNY-TK2-ZC/skinnytk2zc.py
ciphers/SKINNY-TK2/SKINNY-TK2-ZC/Shapes/skinny_tk2_zk.svg
ciphers/SKINNY-TK2/SKINNY-TK2-ZC/Shapes/zc_skinny_tk2_20r.svg
ciphers/SKINNY-TK3/SKINNY-TK3/relationfile_skinnytk3_10r_mg46_ms110.txt
ciphers/SKINNY-TK3/SKINNY-TK3/relationfile_skinnytk3_11r_mg47_ms120.txt
ciphers/SKINNY-TK3/SKINNY-TK3/relationfile_skinnytk3_1r_mg16_ms4.txt
ciphers/SKINNY-TK3/SKINNY-TK3/relationfile_skinnytk3_2r_mg32_ms8.txt
ciphers/SKINNY-TK3/SKINNY-TK3/relationfile_skinnytk3_3r_mg35_ms25.txt
ciphers/SKINNY-TK3/SKINNY-TK3/relationfile_skinnytk3_4r_mg37_ms30.txt
ciphers/SKINNY-TK3/SKINNY-TK3/relationfile_skinnytk3_5r_mg38_ms50.txt
ciphers/SKINNY-TK3/SKINNY-TK3/relationfile_skinnytk3_6r_mg41_ms50.txt
ciphers/SKINNY-TK3/SKINNY-TK3/relationfile_skinnytk3_7r_mg42_ms60.txt
ciphers/SKINNY-TK3/SKINNY-TK3/relationfile_skinnytk3_8r_mg44_ms70.txt
ciphers/SKINNY-TK3/SKINNY-TK3/relationfile_skinnytk3_9r_mg44_ms90.txt
ciphers/SKINNY-TK3/SKINNY-TK3/skinnytk3.py
ciphers/SKINNY-TK3/SKINNY-TK3-DSMITMKB/output1.txt
ciphers/SKINNY-TK3/SKINNY-TK3-DSMITMKB/relationfile_skinnytk3kb_22r_mg45_ms12.txt
ciphers/SKINNY-TK3/SKINNY-TK3-DSMITMKB/skinnytk3dsmitmkb.py
ciphers/SKINNY-TK3/SKINNY-TK3-DSMITMKB/Shapes/dsmitm_skinny_tk3_22r.svg
ciphers/SKINNY-TK3/SKINNY-TK3-DSMITMKB/Shapes/dsmitm_skinny_tk3_22r_gd_dg.svg
ciphers/SKINNY-TK3/SKINNY-TK3-ZC/output1_total.txt
ciphers/SKINNY-TK3/SKINNY-TK3-ZC/relationfile_skinnytk3zckb_23r_mg25_ms12_z16_13.txt
ciphers/SKINNY-TK3/SKINNY-TK3-ZC/relationfile_skinnytk3zckb_23r_mg34_ms12_z16_5.txt
ciphers/SKINNY-TK3/SKINNY-TK3-ZC/relationfile_skinnytk3zckb_23r_mg36_ms12_total.txt
ciphers/SKINNY-TK3/SKINNY-TK3-ZC/skinnytk3zckb_total.py
ciphers/SKINNY-TK3/SKINNY-TK3-ZC/skinnytk3zckb_z16_13.py
ciphers/SKINNY-TK3/SKINNY-TK3-ZC/skinnytk3zckb_z16_5.py
ciphers/SKINNY-TK3/SKINNY-TK3-ZC/Shapes/skinnytk3zckb_23r_mg25_ms12_z16_13.svg
ciphers/SKINNY-TK3/SKINNY-TK3-ZC/Shapes/skinnytk3zckb_23r_mg34_ms12_z16_5.svg
ciphers/SKINNY-TK3/SKINNY-TK3-ZC/Shapes/skinnytk3zckb_23r_mg36_ms12_total.svg
ciphers/SKINNY-TK3/SKINNY-TK3-ZC/Shapes/zc_skinny_tk3_23r.svg
ciphers/SNOW1/relationfile_snow1_9clk_mg9_ms9.txt
ciphers/SNOW1/snow1.py
ciphers/SNOW1/Shapes/snow1.pdf
ciphers/SNOW1/Shapes/snow1.svg
ciphers/SNOW1/Shapes/snow1_9clks_9g_9s_gd_dg.pdf
ciphers/SNOW1/Shapes/snow1_9clks_9g_9s_gd_dg.svg
ciphers/SNOW2/relationfile_snow2_13clk_mg9_ms12.txt
ciphers/SNOW2/snow2_v0.py
ciphers/SNOW2/snow2_v1.py
ciphers/SNOW2/Shapes/snow2.pdf
ciphers/SNOW2/Shapes/snow2.svg
ciphers/SNOW2/Shapes/snow2_9g_12s_gd_dg.pdf
ciphers/SNOW2/Shapes/snow2_9g_12s_gd_dg.svg
ciphers/SNOW3/relationfile_snow3_10clk_mg10_ms12.txt
ciphers/SNOW3/snow3.py
ciphers/SNOW3/Shapes/snow3.pdf
ciphers/SNOW3/Shapes/snow3.svg
ciphers/SNOW3/Shapes/snow3_10g_12s_gd_dg.pdf
ciphers/SNOW3/Shapes/snow3_10g_12s_gd_dg.svg
ciphers/SNOWV/relationfile_snowv_10clk_mg3_ms8.txt
ciphers/SNOWV/relationfile_snowv_3clk_mg3_ms8.txt
ciphers/SNOWV/relationfile_snowv_4clk_mg3_ms8.txt
ciphers/SNOWV/relationfile_snowv_5clk_mg3_ms8.txt
ciphers/SNOWV/snowv.py
ciphers/SNOWV/Shapes/SNOW-V.pdf
ciphers/SNOWV/Shapes/SNOW-V.svg
ciphers/T-TWINE/References/id_attack_tweakable_twin_2020-052.pdf
ciphers/T-TWINE/TWINE-128/relationfile_tktwine128_kb_27r_mg31_ms20.txt
ciphers/T-TWINE/TWINE-128/tktwine128kb.py
ciphers/T-TWINE/TWINE-128/Shapes/ttwine128_gd_dg.svg
ciphers/T-TWINE/TWINE-80/output.txt
ciphers/T-TWINE/TWINE-80/relationfile_tktwine80_kb_25r_mg18_ms2.txt
ciphers/T-TWINE/TWINE-80/tktwine80kb.py
ciphers/T-TWINE/TWINE-80/Shapes/ttwine80_25r_gd_dg.svg
ciphers/ZUC/relationfile_zuc_9clk_mg0_ms35.txt
ciphers/ZUC/zuc.py
ciphers/ZUC/Shapes/zuc.svg
ciphers/ZUC/Shapes/zuc_9clks_0g_35s_gd_dg.svg
ciphers/ZUC/references/2012_Asiacrypt_ZUC.pdf
ciphers/ZUC/references/2019-1352.pdf
ciphers/ZUC/references/Guess and Determine Attack on SNOW3G and ZUC.pdf
configfiles/ortools.msc
core/gdcp.py
core/gdelim.py
core/gdgroebner.py
core/gdmark.py
core/gdmilp.py
core/gdsat.py
core/gdsmt.py
core/gdz3smt.py
core/graphdrawer.py
core/inputparser.py
core/macaulay.py
core/minizinc_installer.py
core/parsesolution.py
core/propagate.py
core/search.py
core/varnames.py
docker/DockerfileArch
docker/DockerfileDebian
docker/MiniZincIDE-2.8.5-bundle-linux-x86_64.tgz
miscellaneous/logo.svg
miscellaneous/logo_old.svg
miscellaneous/programflow.svg
src/autoguess/__init__.py
src/autoguess/__main__.py
src/autoguess/cli.py
src/autoguess/config.py
src/autoguess.egg-info/PKG-INFO
src/autoguess.egg-info/SOURCES.txt
src/autoguess.egg-info/dependency_links.txt
src/autoguess.egg-info/entry_points.txt
src/autoguess.egg-info/requires.txt
src/autoguess.egg-info/top_level.txt
src/autoguess/core/__init__.py
src/autoguess/core/gdcp.py
src/autoguess/core/gdelim.py
src/autoguess/core/gdgroebner.py
src/autoguess/core/gdmark.py
src/autoguess/core/gdmilp.py
src/autoguess/core/gdsat.py
src/autoguess/core/gdsmt.py
src/autoguess/core/gdz3smt.py
src/autoguess/core/graphdrawer.py
src/autoguess/core/inputparser.py
src/autoguess/core/macaulay.py
src/autoguess/core/parsesolution.py
src/autoguess/core/propagate.py
src/autoguess/core/search.py
src/autoguess/core/varnames.py
src/autoguess/utils/__init__.py
src/autoguess/utils/minizinc_installer.py