.factorypath.template

<!--
This file is part of JavaSMT,
an API wrapper for a collection of SMT solvers:
https://github.com/sosy-lab/java-smt

SPDX-FileCopyrightText: 2020 Dirk Beyer <https://www.sosy-lab.org>

SPDX-License-Identifier: Apache-2.0
-->

<factorypath>
    <factorypathentry kind="WKSPJAR" id="/JavaSMT/lib/java/build/auto-value.jar" enabled="true" runInBatchMode="false"/>
    <factorypathentry kind="WKSPJAR" id="/JavaSMT/lib/java/core/common.jar" enabled="true" runInBatchMode="false"/>
</factorypath>