c0mbatduckzz
/

TOMK

formal-specification

deterministic-execution

reproducibility

all-rights-reserved

no-license-granted

personal-property

Model card Files Files and versions

TOMK / src /python /tom_world04r

112 kB

Ctrl+K

Ctrl+K

1 contributor

History: 1 commit

c0mbatduckzz's picture

Publish WQK 0.6 formal specification, use cases and verified release (part 2)

767a051 verified about 1 month ago

__init__.py
240 Bytes
Publish WQK 0.6 formal specification, use cases and verified release (part 2) about 1 month ago
__main__.py

48 Bytes
Publish WQK 0.6 formal specification, use cases and verified release (part 2) about 1 month ago
baseline.py
10.9 kB
Publish WQK 0.6 formal specification, use cases and verified release (part 2) about 1 month ago
cli.py
6.66 kB
Publish WQK 0.6 formal specification, use cases and verified release (part 2) about 1 month ago
engine.py
5.7 kB
Publish WQK 0.6 formal specification, use cases and verified release (part 2) about 1 month ago
index.py
8.5 kB
Publish WQK 0.6 formal specification, use cases and verified release (part 2) about 1 month ago
io.py
860 Bytes
Publish WQK 0.6 formal specification, use cases and verified release (part 2) about 1 month ago
journal.py
30.8 kB
Publish WQK 0.6 formal specification, use cases and verified release (part 2) about 1 month ago
model.py
21 kB
Publish WQK 0.6 formal specification, use cases and verified release (part 2) about 1 month ago
solver.py
13.4 kB
Publish WQK 0.6 formal specification, use cases and verified release (part 2) about 1 month ago
transition.py
13.6 kB
Publish WQK 0.6 formal specification, use cases and verified release (part 2) about 1 month ago