diff options
| author | Richard Qin <richard.qin.x@gmail.com> | 2026-04-04 05:17:18 +0800 |
|---|---|---|
| committer | Richard Qin <richard.qin.x@gmail.com> | 2026-04-04 05:17:18 +0800 |
| commit | 6fac8eb886f1e60a5a075c48a5f7648bb537f74e (patch) | |
| tree | e025644c82b14fc6461efb2fa0008e0f81f393c3 /src/simplify/subsumption.cc | |
| parent | e6fed6b99e9c1feed60513438a121b57060ca9f3 (diff) | |
| download | ratp-6fac8eb886f1e60a5a075c48a5f7648bb537f74e.tar.gz ratp-6fac8eb886f1e60a5a075c48a5f7648bb537f74e.tar.xz | |
feat: add copyright and license disclaimer to program startup output
Diffstat (limited to 'src/simplify/subsumption.cc')
0 files changed, 0 insertions, 0 deletions