Compiling on Windows, cryptominisats
50 views
Skip to first unread message
Andrew Fedotov
Jun 11, 2012, 11:04:11 AM6/11/12
to stp-users
Hello!
I'm a student of the Institute for System Programming of
Russian Academy of Sciences. My research is based on using STP. But
unfortunately for me, I can launch STP only with Cygwin.I really want
to know, if it is possible to compile STP on Windows?
Another question is about cryptominisats, I wounder, for what
purposes they are intended. Are there any materials about them?
Thanks!
I'm a student of the Institute for System Programming of
Russian Academy of Sciences. My research is based on using STP. But
unfortunately for me, I can launch STP only with Cygwin.I really want
to know, if it is possible to compile STP on Windows?
Another question is about cryptominisats, I wounder, for what
purposes they are intended. Are there any materials about them?
Thanks!
Reply all
Reply to author
Forward
0 new messages