test_prob.pddl

(
	define (problem prob)
  	(:domain test)
	(
		:objects 
			a

	)
	(:init (= (val a) 0)(= (val2 a) 1)(= (val3 a) 1))
	(
		:goal 
		(
			and (= (val a) 2)
			
		)
	)
)