README.md
pyproject.toml
src/axer/__init__.py
src/axer/__main__.py
src/axer/axioms.py
src/axer/bruteforce.py
src/axer/guided.py
src/axer/induction_utils.py
src/axer/predicates.py
src/axer/py.typed
src/axer/assets/__init__.py
src/axer/assets/default.config.toml
src/axer/assets/__pycache__/__init__.cpython-310.pyc
src/axer/assets/__pycache__/__init__.cpython-311.pyc
src/axer/assets/__pycache__/__init__.cpython-312.pyc
src/axer/assets/__pycache__/__init__.cpython-313.pyc
src/common/__init__.py
src/common/_config.py
src/common/axioms.py
src/common/cli_utils.py
src/common/parallelism.py
src/common/py.typed
src/common/relations.py
src/common/skolemizer.py
src/common/assets/__init__.py
src/common/assets/default.config.toml
src/common/assets/__pycache__/__init__.cpython-312.pyc
src/common/converters/__init__.py
src/common/converters/cvc5.py
src/common/converters/z3.py
src/common/simplifier/__init__.py
src/common/z3_utils/__init__.py
src/common/z3_utils/expr_utils.py
src/common/z3_utils/patcher.py
src/common/z3_utils/pickling.py
src/common/z3_utils/rewriter/__init__.py
src/common/z3_utils/rewriter/_internals.py
src/common/z3_utils/rewriter/_internals.pyi
src/dockzip/__init__.py
src/dockzip/__main__.py
src/dockzip/py.typed
src/fest/__init__.py
src/fest/__main__.py
src/fest/base.py
src/fest/cvc5_utils.py
src/fest/heuristic.py
src/fest/py.typed
src/fest/z3_utils.py
src/fest/assets/__init__.py
src/fest/assets/default.config.toml
src/fest/assets/__pycache__/__init__.cpython-310.pyc
src/fest/assets/__pycache__/__init__.cpython-311.pyc
src/fest/assets/__pycache__/__init__.cpython-312.pyc
src/fest/assets/__pycache__/__init__.cpython-313.pyc
src/fest/symstructs/__init__.py
src/fest/symstructs/assignment_finder.py
src/fest/symstructs/model_checker.py
src/fest/symstructs/pickling.py
src/fest/templates/__init__.py
src/fest/templates/guards.py
src/fest/templates/model_finder.py
src/fest/templates/models.py
src/fest/templates/template_free_variables.py
src/fest/templates/utils.py
src/fest/templates/stdlib/__init__.py
src/fest/templates/stdlib/arith.py
src/fest/templates/stdlib/string.py
src/fest/theories/__init__.py
src/fest/theories/arith.py
src/fest/theories/string.py
src/infinite_models.egg-info/PKG-INFO
src/infinite_models.egg-info/SOURCES.txt
src/infinite_models.egg-info/dependency_links.txt
src/infinite_models.egg-info/entry_points.txt
src/infinite_models.egg-info/requires.txt
src/infinite_models.egg-info/top_level.txt
src/popl24/__init__.py
src/popl24/__main__.py
src/popl24/py.typed
src/popl25/__init__.py
src/popl25/__main__.py
src/popl25/py.typed
src/problems/__init__.py
src/problems/__main__.py
src/problems/_markers.py
src/problems/benchmark_utils.py
src/problems/cli_utils.py
src/problems/derived_relations.py
src/problems/infinite_models_sygus_paper.py
src/problems/non_commutative_addition.py
src/problems/problem.py
src/problems/py.typed
src/problems/transition_systems.py
src/problems/z3_utils.py
src/problems/distributed/__init__.py
src/problems/distributed/echo_machine.py
src/problems/distributed/line_leader.py
src/problems/distributed/ring_leader.py
src/problems/distributed/broadcast_echo_termination/__init__.py
src/problems/distributed/broadcast_echo_termination/line_termination_simplified.py
src/problems/distributed/broadcast_echo_termination/tree_termination_simplified.py
src/problems/distributed/client_server/__init__.py
src/problems/distributed/client_server/liveness_k_steps.py
src/problems/distributed/dijkstra_self_stabilizing/__init__.py
src/problems/distributed/dijkstra_self_stabilizing/cardinality.py
src/problems/distributed/dijkstra_self_stabilizing/safety.py
src/problems/distributed/dijkstra_self_stabilizing/sanity.py
src/problems/distributed/paxos/__init__.py
src/problems/distributed/paxos/flexible_paxos.py
src/problems/distributed/paxos/implicit_paxos.py
src/problems/distributed/paxos/paxos.py
src/problems/distributed/paxos/paxos_simplified_vc.py
src/problems/distributed/paxos/simple_paxos.py
src/problems/distributed/paxos/skolemized_paxos.py
src/problems/distributed/paxos/voting.py
src/problems/distributed/paxos/voting_no_quorums.py
src/problems/linkedlists/__init__.py
src/problems/linkedlists/natural_proofs.py
src/problems/linkedlists/partial_order_natural_proofs.py
src/problems/linkedlists/sorted_list_max.py
src/problems/simple/__init__.py
src/problems/tptp/__init__.py
src/problems/tptp/descendants.py
src/problems/tptp/untethered_drone.py
src/problems/trees/__init__.py
src/problems/trees/heaps.py
src/problems/trees/rogue_tree.py
src/problems/trees/simple.py
src/qifac/__init__.py
src/qifac/instantiations.py
src/seplog/__init__.py
src/seplog/__main__.py
src/seplog/py.typed
src/seplog/assets/__init__.py
src/seplog/assets/default.config.toml
src/seplog/assets/__pycache__/__init__.cpython-312.pyc