Default branch

84e4d3d1e1 · Changed project name · Updated 2024-10-15 10:37:44 -04:00

Branches

8f83cd6abd · Added another example · Updated 2024-10-15 10:30:14 -04:00

2
0
Included

9517668ff3 · Added README to describe example files · Updated 2024-10-04 13:12:02 -04:00

14
2

2ed471c92c · Discard models with only one designated value · Updated 2024-10-03 22:00:00 -04:00

14
0
Included

3b535fdfa5 · Optimization: Discard subalgebras with bottom/top · Updated 2024-10-03 21:38:15 -04:00

18
1

d1c56fa6a5 · Parsing as regular decimal integers instead of hexadecimal. · Updated 2024-06-15 11:46:53 -04:00

23
0
Included