Pascal and Common Lisp were employed in the old benchmark assessment [0]. So just about anything should be able to.

But I'd expect many solver languages to be able to make it easier, like Prolog, datalog, mercury.

[0] http://cse.unl.edu/~choueiry/Documents/Hybrid-Prosser.pdf