Basic DeCiDa functions

importing:

import decida
from decida import *