https://github.com/matthewhague/sat-css-tool
Tip revision: 1d983625032b224e80f7659e32285801167e16e0 authored by Matthew Hague on 25 November 2023, 13:42:17 UTC
Add TOPLAS reference to README
Add TOPLAS reference to README
Tip revision: 1d98362
| File | Mode | Size |
|---|---|---|
| Vienna | ||
| benchmarks | ||
| satcss | ||
| .gitignore | -rw-r--r-- | 22 bytes |
| NOTES.md | -rw-r--r-- | 384 bytes |
| README.md | -rw-r--r-- | 2.4 KB |
| main.py | -rw-r--r-- | 38 bytes |
| poetry.lock | -rw-r--r-- | 15.5 KB |
| pyproject.toml | -rw-r--r-- | 809 bytes |
| requirements.txt | -rw-r--r-- | 94 bytes |
| test.py | -rw-r--r-- | 38 bytes |
