add CVC5 into IntelliJ congifuration.
@@ -304,6 +304,15 @@ SPDX-License-Identifier: Apache-2.0
<SOURCES />
</library>
</orderEntry>
+ <orderEntry type="module-library">
+ <library>
+ <CLASSES>
+ <root url="jar://$MODULE_DIR$/lib/java/runtime-cvc5/cvc5.jar!/" />
+ </CLASSES>
+ <JAVADOC />
+ <SOURCES />
+ </library>
+ </orderEntry>
</component>
<component name="org.twodividedbyzero.idea.findbugs">
<option name="_basePreferences">
