diff --git a/submissions/NeuroSym/NeuroSym.json b/submissions/NeuroSym/NeuroSym.json new file mode 100644 index 000000000..674fe7c20 --- /dev/null +++ b/submissions/NeuroSym/NeuroSym.json @@ -0,0 +1,35 @@ +{ + "name": "NeuroSym", + "contributors": [ + "Vishal Kumar Swain", + "Sangharatna Godboley", + "P. Radha Krishna", + "Avijit Das" + ], + "contacts": ["Vishal Kumar Swain "], + "archive": { + "url": "https://github.com/VishalKumarSwain/NeuroSym/archive/refs/tags/v1.0-pre.tar.gz", + "h": { + "sha256": "bd4716f925905374d330c199c02c1b70f664f668c5a52e1ba1f342d27f3fd2f5" + } + }, + "website": "https://github.com/VishalKumarSwain/NeuroSym", + "system_description": "https://github.com/VishalKumarSwain/NeuroSym/blob/main/GANSAT_Mathematical_Details.md", + "command": ["python", "main.py"], + "solver_type": "Standalone", + "seed": "42", + "participations": [ + { + "tracks": ["SingleQuery"], + "logics": ["QF_LIA"] + }, + { + "tracks": ["SingleQuery"], + "logics": ["QF_BV"] + }, + { + "tracks": ["SingleQuery"], + "logics": ["QF_ABV"] + } + ] +}