2 Commits

Author	SHA1	Message	Date
Torsten Schaub	69757e50ac	fixed bug in conditional effects ... - still one test screwing up -	2016-08-26 18:00:33 +02:00
Torsten Schaub	7dfe760285	PRELIMINARY version of an encoding for sequential SAS planning ... featuring: axioms and conditional effects (extending Patrick's basic multi-valued encoding)	2016-08-23 18:31:33 +02:00