Groups
Sign in
Groups
opensmt
Conversations
About
Send feedback
Help
opensmt
Contact owners and managers
1–30 of 43
Mark all as read
Report group
0 selected
Paulo Matos
, …
Paulo Matos
7
8/6/14
Project Status
On 06/08/14 08:32, Antti Hyvärinen wrote: > Hi guys, > > Sorry for not replying to this mail
unread,
Project Status
On 06/08/14 08:32, Antti Hyvärinen wrote: > Hi guys, > > Sorry for not replying to this mail
8/6/14
ozan....@gmail.com
,
Robert White
3
3/5/14
printing models
I think I got it. Its just a typo. Sorry. On Tuesday, 4 March 2014 14:57:00 UTC, Robert White wrote:
unread,
printing models
I think I got it. Its just a typo. Sorry. On Tuesday, 4 March 2014 14:57:00 UTC, Robert White wrote:
3/5/14
Anupam Chattopadhyay
, …
Robert White
3
3/4/14
example tutorial
https://code.google.com/p/opensmt/source/browse/trunk/api_example/example1.c?r=38 https://code.google
unread,
example tutorial
https://code.google.com/p/opensmt/source/browse/trunk/api_example/example1.c?r=38 https://code.google
3/4/14
cjchri...@gmail.com
,
lu.d...@gmail.com
2
7/18/13
Compilation error
I got the same problem when i using the latest version of GMP, but OpenSMT should compile correctly
unread,
Compilation error
I got the same problem when i using the latest version of GMP, but OpenSMT should compile correctly
7/18/13
Marc Massot
, …
Luis Renato Santos
6
2/12/13
Wrong get-value response using IDL
Can anyone help me to use the command get-value? I tryed paste this code in src/api/OpenSMTContext.C
unread,
Wrong get-value response using IDL
Can anyone help me to use the command get-value? I tryed paste this code in src/api/OpenSMTContext.C
2/12/13
Roberto Bruttomesso
1/23/13
Re: based on the GMP library 4.1.0
I believe there is no difference. Also the gmp library is rarely stimulated as it is wrapped by the
unread,
Re: based on the GMP library 4.1.0
I believe there is no difference. Also the gmp library is rarely stimulated as it is wrapped by the
1/23/13
Roberto Bruttomesso
10/23/12
Re: OpenSMT and its IDL implementation
Hello, first of all thank you for your interest in OpenSMT. I think that the assertion triggers
unread,
Re: OpenSMT and its IDL implementation
Hello, first of all thank you for your interest in OpenSMT. I think that the assertion triggers
10/23/12
Roberto Bruttomesso
,
johns alex
6
9/17/12
Re: About an opensmt question
Hi,Roberto, Thank you for your advice.Your writing helps me a lot! 2012/9/14 Roberto Bruttomesso <
unread,
Re: About an opensmt question
Hi,Roberto, Thank you for your advice.Your writing helps me a lot! 2012/9/14 Roberto Bruttomesso <
9/17/12
Marko Dimjašević
,
Roberto Bruttomesso
3
9/16/12
SMT-LIB v2.0 support
Greetings, At the Wikipedia article about SMTs [1] there is a table with SMT solvers, and OpenSMT is
unread,
SMT-LIB v2.0 support
Greetings, At the Wikipedia article about SMTs [1] there is a table with SMT solvers, and OpenSMT is
9/16/12
Roberto
9/10/12
Re: Where is the LIA-Solver?
Hello, we had a preliminary implementation of QF_LIA on top of QF_LRA, but it was not fully
unread,
Re: Where is the LIA-Solver?
Hello, we had a preliminary implementation of QF_LIA on top of QF_LRA, but it was not fully
9/10/12
David Cok
, …
Ming
3
8/12/12
OpenSMT on Windows/Cygwin
I managed it in cygwin today! my os is x64 windows8 here is the steps: 1.installed cygwin normally,
unread,
OpenSMT on Windows/Cygwin
I managed it in cygwin today! my os is x64 windows8 here is the steps: 1.installed cygwin normally,
8/12/12
Roberto Bruttomesso
, …
Ulrich Loup
4
8/3/12
Re: Error of opensmt installed on mac lion
Hi Xuanye, I encountered the same issue on my Arch and Gentoo Linux machines a few weeks ago. The
unread,
Re: Error of opensmt installed on mac lion
Hi Xuanye, I encountered the same issue on my Arch and Gentoo Linux machines a few weeks ago. The
8/3/12
Aliaksei Tsitovich
8/1/12
Re: Moderator's spam report for opensmt@googlegroups.com
Aliaksei On Wed, Aug 1, 2012 at 12:04 AM, <ope...@googlegroups.com> wrote: > This message
unread,
Re: Moderator's spam report for opensmt@googlegroups.com
Aliaksei On Wed, Aug 1, 2012 at 12:04 AM, <ope...@googlegroups.com> wrote: > This message
8/1/12
Ming
,
Roberto Bruttomesso
3
7/13/12
what's the function of CheckAxioms in Opensmt?
Dear Roberto , Thank you for your answer! 在 2012年7月12日星期四UTC+8下午3时16分21秒,Roberto写道: checkAxioms was
unread,
what's the function of CheckAxioms in Opensmt?
Dear Roberto , Thank you for your answer! 在 2012年7月12日星期四UTC+8下午3时16分21秒,Roberto写道: checkAxioms was
7/13/12
Sebastian Junges
,
Roberto Bruttomesso
2
4/12/12
Parsing smtlib v2.0
Thanks for your report With best regards, Roberto On Thu, Apr 12, 2012 at 10:41 AM, Sebastian Junges
unread,
Parsing smtlib v2.0
Thanks for your report With best regards, Roberto On Thu, Apr 12, 2012 at 10:41 AM, Sebastian Junges
4/12/12
Luis Renato Santos
,
Roberto
4
4/7/12
div int int theories
Hi, On Wednesday, April 4, 2012 2:40:42 PM UTC+2, Luis Renato Santos wrote: Dear Roberto, Thank you
unread,
div int int theories
Hi, On Wednesday, April 4, 2012 2:40:42 PM UTC+2, Luis Renato Santos wrote: Dear Roberto, Thank you
4/7/12
Ali Moeinvaziri
,
Roberto Bruttomesso
2
3/9/12
check examples
you can find a lot of examples here www.smtlib.org Cheers, Roberto On Fri, Mar 9, 2012 at 11:30 PM,
unread,
check examples
you can find a lot of examples here www.smtlib.org Cheers, Roberto On Fri, Mar 9, 2012 at 11:30 PM,
3/9/12
Nicolas Bonifas
,
Roberto Bruttomesso
2
2/14/12
Segfault in OpenSMT
I've fixed it, thanks Roberto On Tue, Feb 14, 2012 at 12:12 PM, Nicolas Bonifas <nicolas.
unread,
Segfault in OpenSMT
I've fixed it, thanks Roberto On Tue, Feb 14, 2012 at 12:12 PM, Nicolas Bonifas <nicolas.
2/14/12
Jiwei Jin
,
Roberto Bruttomesso
3
11/24/11
Can't find libgmpxx.so.4. Why
> try to use native gmp > > sudo apt-get install libgmpxx4ldbl libgmp3-dev > It works.
unread,
Can't find libgmpxx.so.4. Why
> try to use native gmp > > sudo apt-get install libgmpxx4ldbl libgmp3-dev > It works.
11/24/11
Jorge
,
Simone Fulvio Rollini
3
11/21/11
Get interpolants
Thank you! It works now. Jorge On Nov 22, 5:04 am, Simone Fulvio Rollini <rolli...@usi.ch>
unread,
Get interpolants
Thank you! It works now. Jorge On Nov 22, 5:04 am, Simone Fulvio Rollini <rolli...@usi.ch>
11/21/11
Joost Kraaijeveld
, …
Joost
3
10/13/11
Bug in OpenSMT or my fault?
On Oct 13, 5:08 pm, Roberto <roberto.bruttome...@gmail.com> wrote: > > x + 2y = 20 >
unread,
Bug in OpenSMT or my fault?
On Oct 13, 5:08 pm, Roberto <roberto.bruttome...@gmail.com> wrote: > > x + 2y = 20 >
10/13/11
Jorge
,
Aliaksei Tsitovich
3
9/9/11
Problems installing opensmt on Ubuntu 11.04
It works now. Thanks! Jorge On Friday, September 9, 2011 at 06:03:35 (+0200), Aliaksei Tsitovich
unread,
Problems installing opensmt on Ubuntu 11.04
It works now. Thanks! Jorge On Friday, September 9, 2011 at 06:03:35 (+0200), Aliaksei Tsitovich
9/9/11
ThanhVu (Vu) Nguyen
,
Aliaksei Tsitovich
2
8/9/11
installing opensmt for mac os x
Hi ThanhVu, I don't have Snow Leopard to check your configuration, only OSX 10.5 is around and it
unread,
installing opensmt for mac os x
Hi ThanhVu, I don't have Snow Leopard to check your configuration, only OSX 10.5 is around and it
8/9/11
Florian Corzilius
,
Roberto Bruttomesso
3
6/28/11
Theory solver calls
Hi Roberto, I hoped that such a parameter as first_boolean_model exists. I also think that a
unread,
Theory solver calls
Hi Roberto, I hoped that such a parameter as first_boolean_model exists. I also think that a
6/28/11
Florian Corzilius
,
Roberto Bruttomesso
3
6/27/11
pushBacktrackPoint, popBacktrackPoint
Hi Roberto, I found the problem. OpenSMT first pushes a backtrack point and then asserts an enode
unread,
pushBacktrackPoint, popBacktrackPoint
Hi Roberto, I found the problem. OpenSMT first pushes a backtrack point and then asserts an enode
6/27/11
flocor
, …
Roberto Bruttomesso
8
6/24/11
Smaller and greater
Hello Aliaksei and Roberto, once again: thank you! It is exactly the answer I liked to hear :) I just
unread,
Smaller and greater
Hello Aliaksei and Roberto, once again: thank you! It is exactly the answer I liked to hear :) I just
6/24/11
pranav
, …
Roberto Bruttomesso
4
6/20/11
Ocaml bindings for openSMT
Hi, the current one works but has some problems with incrementality. The one in the version to be
unread,
Ocaml bindings for openSMT
Hi, the current one works but has some problems with incrementality. The one in the version to be
6/20/11
Ayrat Khalimov
, …
linas
4
6/16/11
QF_BV: "syntax error, unexpected TK_SYM"
Hi, On Jun 9, 2:55 am, Roberto Bruttomesso <roberto.bruttome...@gmail.com> wrote: > Mike is
unread,
QF_BV: "syntax error, unexpected TK_SYM"
Hi, On Jun 9, 2:55 am, Roberto Bruttomesso <roberto.bruttome...@gmail.com> wrote: > Mike is
6/16/11
chimlac
, …
chimlac
5
3/10/11
how to install open smt on window
I'll try .Thanks. On Mar 10, 3:12 pm, Aliaksei Tsitovich <aliaksei.tsitov...@gmail.com>
unread,
how to install open smt on window
I'll try .Thanks. On Mar 10, 3:12 pm, Aliaksei Tsitovich <aliaksei.tsitov...@gmail.com>
3/10/11
Mike Whalen
1/19/11
Documentation on Enodes, Snodes?
Hello, Is there documentation on how Enodes and Snodes are structured to make expressions and types?
unread,
Documentation on Enodes, Snodes?
Hello, Is there documentation on how Enodes and Snodes are structured to make expressions and types?
1/19/11