Merge pull request #1 from jorenchik/main

Browse Source

...

This commit is contained in:

Kristofers Solo

2025-06-15 00:26:41 +03:00

committed by GitHub

parent 258c077aa0 56718280ef

commit ca14d60179

4 changed files with 713 additions and 329 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download Patch File Download Diff File Expand all files Collapse all files

BIN

assets/img/3_sat_indset.png Normal file

Binary file not shown.

Side by Side After Width:  |  Height:  |  Size: 26 KiB

BIN

assets/img/circuit_sat.png Normal file

Binary file not shown.

Side by Side After Width:  |  Height:  |  Size: 26 KiB

BIN

assets/img/graph_complement.png Normal file

Binary file not shown.

Side by Side After Width:  |  Height:  |  Size: 23 KiB

1042

main.typ

File diff suppressed because it is too large Load Diff