Decide whether we want to have plug-ins and "special" plug-ins

4tXJ7f / cvc5

CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

Other

2 stars 5 forks source link

Decide whether we want to have plug-ins and "special" plug-ins #9

Open 4tXJ7f opened 7 years ago

4tXJ7f commented 7 years ago

We could make a distinction between plug-ins that only need limited access and can be easily implemented by users and having special plug-ins with additional capabilities.