Commit 4d4c8456 authored by Jan Rasmus Tikovsky 's avatar Jan Rasmus Tikovsky
Browse files
parents b77bfba3 31b8ba8c
......@@ -3,7 +3,7 @@
"version": "0.0.1",
"author": "Jan Rasmus Tikovsky <jrt@informatik.uni-kiel.de>",
"synopsis": "This package provides general operations for an interactive communication with SMT solvers via stdin and stdout.",
"category": [ "Programming" ],
"category": [ "Verification" ],
"license": "BSD-3-Clause",
"licenseFile": "LICENSE",
"dependencies": {
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment