minimal unsat core

[EasyQiu]

hi,

I am a newcomer, I want to know dose STP support for computing minimal unsat core.

I heard that the feature was planned in 2011.

[Vijay Ganesh]

Hi All,

I hope all of you are having a great summer!

As some of you are aware, I will start in September at U. of Waterloo
as an assistant professor. I am looking for MS/PhD students to develop
STP further and work on verification, testing and program analysis.
Please let me know, if you are interested or know someone who might
be.

We have lots of exciting projects already lined up. Most of these
projects have a solver component.

Please email me directly (hello...@gmail.com), if you are interested.

Cheers,
Vijay Ganesh
http://people.csail.mit.edu/vganesh