dds: A Home-made Toolkit for Discrete Dynamical Systems in Racket

Sergiu Ivanov 45db731859 utils: Make the contract of collect-by-key more specific.		2020-03-02 18:16:25 +01:00
example	example: Show how to apply reaction systems.	2020-03-01 21:14:18 +01:00
generic.rkt	generic: Make dds-step-one fall back to dds-step-one-annotated.	2020-03-02 12:11:09 +01:00
networks-tests.rkt	networks: Add pretty-print-modalities and use it for state graphs.	2020-03-01 17:57:58 +01:00
networks.rkt	networks: Remove a custom definition of dds-step-one.	2020-03-02 12:12:57 +01:00
rs-tests.rkt	rs: Add some functions for showing RS as Org tables.	2020-03-01 21:10:01 +01:00
rs.rkt	rs: Add some functions for showing RS as Org tables.	2020-03-01 21:10:01 +01:00
utils-tests.rkt	utils: Add collect-by-key/sets.	2020-03-02 18:15:41 +01:00
utils.rkt	utils: Make the contract of collect-by-key more specific.	2020-03-02 18:16:25 +01:00