Licensed under the Apache License, Version 2.0 (the "License"): http://www.apache.org/licenses/LICENSE-2.0
Unless required by applicable law or agreed to in writing, software distributed under the License is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the License for the specific language governing permissions and limitations under the License.
The majority of the Carac codebase is new code, with the exception of the components mentioned below.
- src.test.scala.graphs.fromFile.*: These tests were adapted and translated to Carac Datalog from the Souffle[1] "example" test suite licensed under the UPL. The original authors of these parts include Bernhard Scholz and others in the Souffle development team.
[1] https://github.com/souffle-lang/souffle/blob/master/LICENSE