[PPL-devel] Julia Wrapper

[Roberto Bagnara]

On 27/04/2016 16:16, Benoit Legat wrote:
> 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

Dear Benoît,

I personally know nothing about Julia, but as far as I can see your
project looks very interesting.  If you want to develop a Julia wrapper
for the PPL, please go ahead: we will assist you to the best of
our possibilities.  If you would like the wrapper to become part
of the PPL (so as to have it distributed with it), please contact me
privately.
Kind regards,

   Roberto

-- 
     Prof. Roberto Bagnara

Applied Formal Methods Laboratory - University of Parma, Italy
mailto:bagnara at cs.unipr.it
                              BUGSENG srl - http://bugseng.com
                              mailto:roberto.bagnara at bugseng.com