Search results

The web domain mentioned in man pages has expired

Status: Open.

#43 In 4ti2/4ti2;

· JustAnAverageGuy opened on Dec 6, 2024

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

Status: Open.

#42 In 4ti2/4ti2;

· zajer opened on Mar 30, 2024

Mention running autogen.sh in README?

Status: Open.

#35 In 4ti2/4ti2;

· jibnew opened on Dec 23, 2021

potential integer overflow in 32bit system

Status: Open.

#32 In 4ti2/4ti2;

· kangwoosukeq opened on Aug 18, 2021

Running time increases for repeated iteration using zsolve.

Status: Open.

#29 In 4ti2/4ti2;

· byeongsuyu opened on Jun 28, 2020

duplicate recipe, a warning

Status: Open.

#28 In 4ti2/4ti2;

· DanGrayson opened on Apr 19, 2020

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

Status: Open.

#26 In 4ti2/4ti2;

· yurivict opened on Dec 5, 2018

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

Status: Open.

#24 In 4ti2/4ti2;

· bgillesp opened on Oct 31, 2018

Install location for 4ti2 headers

Status: Open.

#22 In 4ti2/4ti2;

· mkoeppe opened on Sep 5, 2018

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

Status: Open.

#21 In 4ti2/4ti2;

· mkoeppe opened on Sep 4, 2018

Add automatic deployment to latte-int/distro

Status: Open.

#20 In 4ti2/4ti2;

· mkoeppe opened on Sep 4, 2018

Add automatic deployment scripts for github release

Status: Open.

#19 In 4ti2/4ti2;

· mkoeppe opened on Aug 24, 2018