Commit Graph

21 Commits

Author SHA1 Message Date
Arne Keller
67f039a2ce . 2021-03-20 22:30:26 +01:00
Arne Keller
c5c8acfaa6 Fix nix-shell syntax 2021-03-20 22:29:51 +01:00
Arne Keller
7e11807eed CI: first attempt 2021-03-20 22:24:52 +01:00
Arne Keller
9725ef0d85 meta viewport tag 2021-03-20 19:48:01 +01:00
Arne Keller
e8c1103444 Readme 2021-03-19 20:23:06 +01:00
Arne Keller
50b1f4cfd6 Add header and source code link 2021-03-19 19:40:55 +01:00
Arne Keller
443212a62b Fix misc. output issues 2021-03-19 19:34:52 +01:00
Arne Keller
1895421d68 WASM: buttons to set entire input 2021-03-19 19:29:46 +01:00
Arne Keller
b2eeecfae6 Print variable labels optionally 2021-03-19 19:23:17 +01:00
Arne Keller
8dff087377 DMF/KMF switch 2021-03-19 18:14:41 +01:00
Arne Keller
6b4c6d9c22 Package metadata: license, repo, url 2021-03-18 13:20:54 +01:00
Arne Keller
fdc156d45c GPL3+ license 2021-03-18 12:18:54 +00:00
Arne Keller
9a958925a3 Deploy script 2021-03-18 10:58:20 +01:00
Arne Keller
4b0541c67a WASM port + misc. changes 2021-03-18 10:53:39 +01:00
Arne Keller
24139814cc Output of specific solution 2021-03-15 19:17:03 +01:00
Arne Keller
d130341176 Fancy SVG display 2021-03-15 19:05:34 +01:00
Arne Keller
900541c05f Basic SVG output 2021-03-15 18:08:34 +01:00
Arne Keller
d5e3da78f9 Full solution calculation 2021-03-15 15:33:37 +01:00
Arne Keller
388ac6c412 Prime blocks finder + implicate printer 2021-03-15 15:00:24 +01:00
Arne Keller
2fc0445901 Better combinatoric implementation 2021-03-13 11:43:24 +01:00
Arne Keller
56752a11d4 Sub-optimal recursive solution 2021-03-13 11:12:40 +01:00