I got an exception “cannot implicitly convert type ‘Microsoft.SolverFoundation.Services.Term’ to ‘bool'” at the code below, how should I solve it?
Term a=null;
if(a==null)//<--this line exception
{
}
Below is the snap shot

The problem is that the
Termclass overrides the equality operator in a way that it doesn’t return bool but anotherTerminstead: http://msdn.microsoft.com/en-us/library/ff525374%28v=vs.93%29.aspxI am not sure why they would do something like this, because it goes against any advice on overriding operators…
To fix your problem, use this code instead: