diff --git a/.gitea/issue_template/add_tool.md b/.gitea/issue_template/add_tool.md new file mode 100644 index 0000000..c2d0a3d --- /dev/null +++ b/.gitea/issue_template/add_tool.md @@ -0,0 +1,42 @@ +--- +name: "Add Tool" +about: "This template is used to request a new tool be added." +title: "[ADD] " +ref: "main" +assignees: ["mossbiscuits"] +labels: +- "new tool" +- "enhancement" +--- + +Fill in as little or as much information as you like, but more information increases my ability to add your tool effectively. + +Tool Name: + +Actively maintained? yes/no + +Tool Links: (add as many as you need) + - [Homepage]() + - [Source Code]() + - [Online Playground]() + +Applications: (think SMT Solver, Theorem Prover, Probabilistic Model Checker, etc.) + - + +Developers: (institutions or individuals) + - + +Licenses: + - + +Input Formats: (think SMTLIB2, DIMACS, etc.) + - + +Interfaces: (think CLI, GUI, Online, Python Bindings, etc.) + - + +Publications: (a DOI or URL is sufficient) + - + +Additional Details or Description: + diff --git a/.gitea/issue_template/fix_tool.md b/.gitea/issue_template/fix_tool.md new file mode 100644 index 0000000..a411a1f --- /dev/null +++ b/.gitea/issue_template/fix_tool.md @@ -0,0 +1,42 @@ +--- +name: "Fix Tool" +about: "This template is used to request a new tool be fixed." +title: "[FIX] " +ref: "main" +assignees: ["mossbiscuits"] +labels: +- "fix tool" +- "bug" +--- + +Fill in as little or as much information as you like, but more information increases my ability to add your tool effectively. + +Tool Name: + +Actively maintained? yes/no + +Tool Links: (add as many as you need) + - [Homepage]() + - [Source Code]() + - [Online Playground]() + +Applications: (think SMT Solver, Theorem Prover, Probabilistic Model Checker, etc.) + - + +Developers: (institutions or individuals) + - + +Licenses: + - + +Input Formats: (think SMTLIB2, DIMACS, etc.) + - + +Interfaces: (think CLI, GUI, Online, Python Bindings, etc.) + - + +Publications: (a DOI or URL is sufficient) + - + +Additional Details or Description: +