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

Sergiu Ivanov 29d8e152d9 utils: ht-values:list->set -> ht-values/list->set		2020-03-02 18:17:05 +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: ht-values:list->set -> ht-values/list->set	2020-03-02 18:17:05 +01:00
utils.rkt	utils: ht-values:list->set -> ht-values/list->set	2020-03-02 18:17:05 +01:00