Transition

loading
details
attribute current value
name Transition
description no description
owning solver Ctrl
contents
#!/bin/bash

./convert.native --convertto lctrs -termination $1 > input.ctrs
./ctrl input.ctrs

back to Ctrl