From 89b3f50abbaf129ac749c98d649cedf6e72b1cdd Mon Sep 17 00:00:00 2001 From: Merlin Humml Date: Mon, 2 Dec 2024 08:05:12 +0100 Subject: [PATCH] added readme --- README.md | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) create mode 100644 README.md diff --git a/README.md b/README.md new file mode 100644 index 0000000..f008d6b --- /dev/null +++ b/README.md @@ -0,0 +1,20 @@ +# TATL* + +This is the ATL* reasoner TATL*. + +## Build +![CI](https://github.com/theoremprover-museum/TATL/actions/workflows/blank.yml/badge.svg) + +Since TATL* is written in OCaml we use the de facto standard build tool dune. +Building is done with `dune build` and to quickly execute you can run `dune exec tatl`. +Dune will complain about missing dependencies which you can install using `opam`. + +For convenience we provide a (nix shell)[https://nixos.org/] with all dependencies present you can enter with `nix-shell` after setting up nix. + +## License + +The tool was develloped by Amèlie Regnault and open sourced under the Apache 2.0 license with permission. + +## Development Status + +The tool is considered stable and maintained by Merlin Humml so feel free to open issues or PRs.