Discover @ftc Open Source projects

Shawn Meier (@ftc)

ftc

Stars
26
Global Rank 541,045 (Top 19 %)
Followers 6
Registered over 13 years ago
Most used languages

Dockerfile
100.0 %
Location 🇺🇸 United States
Country Total Rank 100,102
Country Ranking

Dockerfile
2,672

z3-docker

A docker container and scripts for running the z3 theorem prover.