GitHub · Where software is built

8000 GitHub · Where software is built

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

Labels Milestones New issue

Tests fail to build on the powerpc64, powerpc64le architectures: error: invalid operand for instruction

#74

· yurivict opened

on Jan 13, 2024

Consider publishing on PyPI

#54

· musicinmybrain opened

on Dec 10, 2021

Python bindings check fails on 32-bit

#20

· dddejan opened

on Apr 3, 2020

make check on MacOS X

#15

· BrunoDutertre opened

on Apr 19, 2018

Get rid of static "zero" coefficient in coefficient.c

#11

· dddejan opened

on Jul 25, 2017

Add division for algebraic numbers

#8

· dddejan opened

on Nov 17, 2016

Add an implementation of open_memstream

#6

· dddejan opened

on Jul 8, 2015

Model and variable order should be merged

#5

· dddejan opened

on May 27, 2015

Polynomial set_external doesn't really make sense

#4

· dddejan opened

on May 27, 2015

Add timestamps to assignment to hash model-based computations

#3

· dddejan opened

on May 27, 2015

polynomial_ctx to hash expensive ops

#2

· dddejan opened

on May 27, 2015

0