Hey guys, I am trying to make the HOLStmt library working on my machine. So far it works with Yices-1 as the back end. I have a few questions:
* Does anyone know if it would work with Yices-2 ? * Does anyone know which Z3 version I am supposed to use for this HOLStmt library? Thanks! --Wish. ------------------------------------------------------------------------------ BPM Camp - Free Virtual Workshop May 6th at 10am PDT/1PM EDT Develop your own process in accordance with the BPMN 2 standard Learn Process modeling best practices with Bonita BPM through live exercises http://www.bonitasoft.com/be-part-of-it/events/bpm-camp-virtual- event?utm_ source=Sourceforge_BPM_Camp_5_6_15&utm_medium=email&utm_campaign=VA_SF _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
