GitHub · Where software is built

8000 GitHub · Where software is built

More Web Proxy on the site http://driver.im/

Labels Milestones New issue

maxnorm option type

#51

· jamesjer opened

on May 29, 2025

Create .pc file(s)

#48

· mkoeppe opened

on May 26, 2025

zsolve does not find a solution to linear system with a single lattice point

#42

· zajer opened

on Mar 30, 2024

potential integer overflow in 32bit system

#32

· kangwoosukeq opened

on Aug 18, 2021

Running time increases for repeated iteration using zsolve.

#29

· byeongsuyu opened

on Jun 28, 2020

duplicate recipe, a warning

#28

· DanGrayson opened

on Apr 19, 2020

Tests fail to tun: /bin/sh: ../check.template: not found

#26

· yurivict opened

on Dec 5, 2018

Ray command doesn't interpret .rel file with inequality symbols

#24

· bgillesp opened

on Oct 31, 2018

Install location for 4ti2 headers

#22

· mkoeppe opened

on Sep 5, 2018

configure --with-glpk=yes should give an error if glpk cannot be found

#21

· mkoeppe opened

on Sep 4, 2018

Fix DEBUG_4ti2 build: Replace lp->it_cnt by lpx_get_int_parm

#18

· mkoeppe opened

on Aug 24, 2018

Make DEBUG_4ti2 configurable by configure

#17

· mkoeppe opened

on Aug 24, 2018

0