GNU Linear Programming Kit interface
