Giters

TonitaN / smt-on-strings-feat-ips

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

smt-on-strings-feat-ips

Experimental project on testing string theory features.

About

Languages

Language:SMT 52.0%Language:Python 47.9%Language:Shell 0.1%