| Flag |
Description |
| boost |
Enable advanced variable-reordering algorithms using <pkg>dev-libs/boost</pkg> |
| buddy |
Enable the BuDDy finite-domain decision diagram backend using LTSmin's compatible private fork |
| gmp |
|
| mpi |
|
| pnml |
Enable the Petri Net Markup Language frontend |
| prob |
Enable the ProB frontend and prob2lts tools |
| profiler |
Enable gperftools profiling support in spgsolver |
| spins |
Install the SpinS compiler for Promela models |
| sylvan |
Enable Sylvan BDD and LDDmc symbolic state-storage backends |
| zip |
Enable ZIP archive input and output |