add linux 64-bit so files - Githubissues

SymbolicPathFinder / jpf-symbc

Symbolic PathFinder

https://github.com/SymbolicPathFinder/jpf-symbc

124 stars 89 forks source link

add linux 64-bit so files #73

Closed franck-van-breugel closed 2 years ago

franck-van-breugel commented 2 years ago

Added .so files so that CVC3 works for 64-bit Linux machines.

yannicnoller commented 2 years ago

Thanks @franck-van-breugel!