
is_exact_solver_var(?Term)

   The argument is a domain variable

Arguments
   Term                A term

Type
   library(sd)

Description

	Tests if the argument is a domain variable from this library.
	An alias for is_solver_var/1, used by lib(propia).


See Also
   is_solver_var / 1
