Remove SWIG bindings (#4683)
[cvc5.git] / .github / ISSUE_TEMPLATE /
2020-03-10 Mathias PreinerUpdate bug report template
2020-02-11 Mathias PreinerUpdate issue templates