April 2016 - PPL-devel - BUGSENG Mailman

Julia Wrapper
by Benoit Legat 29 Apr '16

29 Apr '16

Dear PPL developers, I am writing an abstraction package for polyhedra manipulation library in Julia called Polyhedra.jl (https://github.com/blegat/Polyhedra.jl). I have already wrapped CDD (https://github.com/blegat/CDDLib.jl) and LRS (https://github.com/blegat/LRSLib.jl) for julia and those wrapper implement the Polyhedra.jl interface. The purpose of this library is to help Julia user (or also Matlab user since I plan to write a Matlab wrapper for my library) to write library agnostic code (it as the same purpose as the MathProgBase package). Polyhedra.jl is really not oriented to any specific application and is designed to be general purpose. I think that it would be very beneficial for the users of Polyhedra.jl if there were a Julia wrapper for PPL as PPL seems to be fast and very mature and stable. I was wondering whether you would like this wrapper to be developed and whether you would like to develop it as part of your project. Regards, Benoît Legat

2 1

Handling Rational Coefficients
by Tuba Yavuz 25 Apr '16

25 Apr '16

Dear PPL Team, I'd like to use PPL for linear arithmetic with rational coefficients. For instance, I'd like to be able to use constraints like 0.3*x + 2.66*y >= 1. When I tried to create a NNC_Polyhedra with that formula, PPL converted it to 2*y >=1. Based on the tutorials, I should be able to use mpq_class to support rational coefficients. I see that there is an instantiation of BD_Shape with mp_class specialization. However, I couldn't find something equivalent for Polyhedra and its subclasses. I also tried to change the configuration file and set PPL_COEFFICIENT_TYPE to mpq_class and rebuilt PPL but that didn't seem to work either. I'd appreciate if you could provide me info on this. Regards Tuba

2 2

Question on Parma Polyhedra Library (PPL)
by the anh pham 25 Apr '16

25 Apr '16

Dear Sir/Madam, I am The Anh, I am M2 student in Paris 13 University. At the moment i do research on verification complex system and i would like to use PPL for my research. I would like to ask you some question. 1. How do i use PPL on window operating system? 2. I have read tutorial document of PLL from your website, but I can not find any example on using PLL. Hence it is very difficult for me to know how to use it. Do you have other documents which you think they are useful for me? Thank you for your time and i do look forward to hearing from you soon. Best regards, The Anh

2 5

[GIT] ppl/ppl(master): Pattern improved.
by Roberto Bagnara 16 Apr '16

16 Apr '16

Module: ppl/ppl Branch: master Commit: 8c039f1512c66cac197023360216fd955ff8b836 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8c039f1512c6… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Sat Apr 16 21:42:54 2016 +0200 Pattern improved. --- .gitignore | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/.gitignore b/.gitignore index d6d2359..e379231 100644 --- a/.gitignore +++ b/.gitignore @@ -15,7 +15,7 @@ Makefile Makefile.in \#*# aclocal.m4 -autom4te.cache +autom4te.cache/ confdefs.h config.cache config.h

1 0

Fwd: ppl-1.2
by Jakub Schiebl 11 Apr '16

11 Apr '16

Hello, I have Debian 7.8 wheezy with only console installation. I made: ./configure --enable-cxx make make check make install in folder /home/user/myproject/gmp-6.1.0 and when I rune in folder /home/user/myproject/ppl-1.2 ./configuration , then it finish with error: checking for the GMP library version 4.1.3 or above... no configure: error: Cannot find GMP version 4.1.3 or higher. GMP is the GNU Multi-Precision library: see http://www.swox.com/gmp/ for more information. When compiling the GMP library, do not forget to enable the C++ interface: add --enable-cxx to the configuration options. Can you plese help me ? Thank you Jakub Schiebl

2 1