User-friendly Installation

VerifAPS / stvs

StructuredText Verification Studio

http://formal.iti.kit.edu/stvs

GNU General Public License v3.0

9 stars 0 forks source link

Open wadoon opened 7 years ago

wadoon commented 7 years ago

STVS should have an user-friendly installation.

The non-java dependencies are a problem:

Solutions:

@wadoon: TODO ask FBK for redistribution policy.

wadoon commented 7 years ago

Maybe replace nuXmv by nuSMV for distribution.

csicar commented 7 years ago

include binaries directly in the jar file (if possible)