diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-03-11 19:50:00 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-11 17:50:00 -0800 |
| commit | 91d701dd898acfddd55edffa9bf11cb175b09147 (patch) | |
| tree | af1f902b013e351b94fbbb2f51f30d5bac86620f /src/prop/cadical.h | |
| parent | f835be8acdeb3c3cb8d4945479fcb7a25dc727aa (diff) | |
Simplify instantiation match generator interface (#6121)
Diffstat (limited to 'src/prop/cadical.h')
0 files changed, 0 insertions, 0 deletions