Diddy

Diddy: Python toolbox for analysis of infinite discrete dynamical systems

See the wiki for documentation.

Name		Name	Last commit message	Last commit date
Latest commit History 266 Commits
examples		examples
experimental		experimental
AleshinTest.diddy		AleshinTest.diddy
CITATION.cff		CITATION.cff
LICENSE		LICENSE
README.md		README.md
__init__.py		__init__.py
abstract_SAT_simplify.py		abstract_SAT_simplify.py
adhoctesting.py		adhoctesting.py
arrow.png		arrow.png
basic_things.py		basic_things.py
blockmap.py		blockmap.py
cantor_partition.py		cantor_partition.py
circuit.py		circuit.py
circuitset.py		circuitset.py
compiler.py		compiler.py
compiler2.py		compiler2.py
compute_sofic_image.py		compute_sofic_image.py
configuration.py		configuration.py
density_linear_program.py		density_linear_program.py
diddy.py		diddy.py
dparser.py		dparser.py
empty.png		empty.png
finite_automata.py		finite_automata.py
general.py		general.py
goltest.py		goltest.py
graphs.py		graphs.py
mocircuits.py		mocircuits.py
period_automaton.py		period_automaton.py
pip_installs.bat		pip_installs.bat
pip_installs.sh		pip_installs.sh
regexp_compiler.py		regexp_compiler.py
robU.png		robU.png
robUL.png		robUL.png
robUR.png		robUR.png
robinso.py		robinso.py
sft.py		sft.py
sofic1d.py		sofic1d.py
sofic_from_aut.py		sofic_from_aut.py
testing_eucl_tiling_code.py		testing_eucl_tiling_code.py
tfg.py		tfg.py
tiler.py		tiler.py
tiler_backend.py		tiler_backend.py
tiler_test.diddy		tiler_test.diddy
unit_tests.py		unit_tests.py

Provide feedback