CMakeLists.txt
LICENSE.md
MANIFEST.in
README.md
pyproject.toml
setup.py
app/CMakeLists.txt
app/main.cc
cmake/ClingconConfig.cmake.in
cmake/glob-paths.py
cmake/python-site.py
libclingcon/CMakeLists.txt
libclingcon/clingcon.h
libclingcon/clingcon/base.hh
libclingcon/clingcon/constraints.hh
libclingcon/clingcon/parsing.hh
libclingcon/clingcon/propagator.hh
libclingcon/clingcon/solver.hh
libclingcon/clingcon/util.hh
libclingcon/src/clingcon.cc
libclingcon/src/constraints.cc
libclingcon/src/parsing.cc
libclingcon/src/propagator.cc
libclingcon/src/solver.cc
libclingcon/tests/CMakeLists.txt
libclingcon/tests/assumptions.cc
libclingcon/tests/catch.hpp
libclingcon/tests/csp.cc
libclingcon/tests/fs.cc
libclingcon/tests/main.cc
libclingcon/tests/money.cc
libclingcon/tests/parsing.cc
libclingcon/tests/solve.hh
libclingcon/tests/util.cc
libpyclingcon/CMakeLists.txt
libpyclingcon/_clingcon.c
libpyclingcon/clingcon/__init__.py
libpyclingcon/clingcon/__main__.py
libpyclingcon/clingcon/py.typed
libpyclingcon/clingcon.egg-info/PKG-INFO
libpyclingcon/clingcon.egg-info/SOURCES.txt
libpyclingcon/clingcon.egg-info/dependency_links.txt
libpyclingcon/clingcon.egg-info/requires.txt
libpyclingcon/clingcon.egg-info/top_level.txt
third_party/CMakeLists.txt
third_party/wide-integer/.gitignore
third_party/wide-integer/CMakeLists.txt
third_party/wide-integer/LICENSE_1_0.txt
third_party/wide-integer/README.md
third_party/wide-integer/wide_integer.sln
third_party/wide-integer/wide_integer.vcxproj
third_party/wide-integer/wide_integer.vcxproj.filters
third_party/wide-integer/.github/toolchains/gcc.cmake
third_party/wide-integer/.github/workflows/wide_integer.yml
third_party/wide-integer/boost/multiprecision/uintwide_t_backend.hpp
third_party/wide-integer/examples/CMakeLists.txt
third_party/wide-integer/examples/example000_numeric_limits.cpp
third_party/wide-integer/examples/example000a_builtin_convert.cpp
third_party/wide-integer/examples/example001_mul_div.cpp
third_party/wide-integer/examples/example001a_div_mod.cpp
third_party/wide-integer/examples/example002_shl_shr.cpp
third_party/wide-integer/examples/example003_sqrt.cpp
third_party/wide-integer/examples/example003a_cbrt.cpp
third_party/wide-integer/examples/example004_rootk_pow.cpp
third_party/wide-integer/examples/example005_powm.cpp
third_party/wide-integer/examples/example005a_pow_factors_of_p99.cpp
third_party/wide-integer/examples/example006_gcd.cpp
third_party/wide-integer/examples/example007_random_generator.cpp
third_party/wide-integer/examples/example008_miller_rabin_prime.cpp
third_party/wide-integer/examples/example008a_miller_rabin_prime.cpp
third_party/wide-integer/examples/example009_timed_mul.cpp
third_party/wide-integer/examples/example009a_timed_mul_4_by_4.cpp
third_party/wide-integer/examples/example009b_timed_mul_8_by_8.cpp
third_party/wide-integer/examples/example010_uint48_t.cpp
third_party/wide-integer/examples/example011_uint24_t.cpp
third_party/wide-integer/examples/example012_rsa_crypto.cpp
third_party/wide-integer/examples/example_uintwide_t.h
third_party/wide-integer/math/wide_integer/uintwide_t.h
third_party/wide-integer/test/CMakeLists.txt
third_party/wide-integer/test/parallel_for.h
third_party/wide-integer/test/test.cpp
third_party/wide-integer/test/test_uintwide_t.h
third_party/wide-integer/test/test_uintwide_t_boost_backend.cpp
third_party/wide-integer/test/test_uintwide_t_edge_cases.cpp
third_party/wide-integer/test/test_uintwide_t_examples.cpp
third_party/wide-integer/test/test_uintwide_t_float_convert.cpp
third_party/wide-integer/test/test_uintwide_t_int_convert.cpp
third_party/wide-integer/test/test_uintwide_t_n_base.cpp
third_party/wide-integer/test/test_uintwide_t_n_base.h
third_party/wide-integer/test/test_uintwide_t_n_binary_ops_base.cpp
third_party/wide-integer/test/test_uintwide_t_n_binary_ops_base.h
third_party/wide-integer/test/test_uintwide_t_n_binary_ops_mul_div_4_by_4_template.h
third_party/wide-integer/test/test_uintwide_t_n_binary_ops_mul_n_by_m_template.h
third_party/wide-integer/test/test_uintwide_t_n_binary_ops_template.h
third_party/wide-integer/test/test_uintwide_t_n_binary_ops_template_signed.h
third_party/wide-integer/test/test_uintwide_t_n_number_theory_funcs_template.h
third_party/wide-integer/test/test_uintwide_t_spot_values.cpp