Home New since last time: 10 messages Discussions10 of 1305 messages view all » Use minisat to solve my problem By Jose Augusto - May 17 - 3 authors - 2 replies segmentation fault with minisat 2.2.0 By Matthew Gwynne - May 13 - 5 authors - 8 replies Vec.h SEGFAULT By Ricardo Marques - May 9 - 3 authors - 3 replies Minisat in Visual Studio By vikrant 75 - May 6 - 6 authors - 7 replies input to SAT solver By vikrant 75 - May 6 - 2 authors - 5 replies compiling minisat on eclipse By Jose Augusto - Apr 30 - 3 authors - 2 replies Proof logging file format By Mate Soos - Apr 26 - 2 authors - 1 reply Single or multiple instances By Hao Zheng - Apr 23 - 3 authors - 3 replies Performance regression since 2.2.0 By Niklas Sörensson - Apr 10 - 3 authors - 5 replies How to install minisat2 on Mac OS X 10.6.8? By Armin Biere - Apr 10 - 7 authors - 9 replies Report this group   XML       Send email to this group: minisat@googlegroups.com