Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 13, 2020

• fix relative interior point

  jesusjda

  committed
  60da577

  Copy full SHA for 60da577

Commits on Jun 4, 2020

• changing version

  jesusjda

  committed
  ad95f08

  Copy full SHA for ad95f08

Commits on May 20, 2020

• removing weird comment

  jesusjda

  committed
  460afec

  Copy full SHA for 460afec

Commits on Jul 17, 2019

• And of one item and Or of one item is like only the item

  jesusjda

  committed
  cd8584b

  Copy full SHA for cd8584b

Commits on Jun 20, 2019

• prefix notation

  jesusjda

  committed
  ec175c8

  Copy full SHA for ec175c8

Commits on Mar 19, 2019

• allowing And as constraint to deffine a polyhedron

  jesusjda

  committed
  cff5b61

  Copy full SHA for cff5b61

Commits on Mar 15, 2019

• removing white spaces on negative variables

  jesusjda

  committed
  730e9b7

  Copy full SHA for 730e9b7

Commits on Mar 14, 2019

• denominator of a expression always positive

  jesusjda

  committed
  9a2394f

  Copy full SHA for 9a2394f

Commits on Mar 12, 2019

• allowing fractional coefficients

  jesusjda

  committed
  9d75762

  Copy full SHA for 9d75762

Commits on Feb 27, 2019

• build a polyhedron with a list of generators

  jesusjda

  committed
  c9584a8

  Copy full SHA for c9584a8

• minor change

  jesusjda

  committed
  9c984b2

  Copy full SHA for 9c984b2

Commits on Feb 22, 2019

• C_polyhedron can be build with a ppl generator system

  jesusjda

  committed
  5a1f7da

  Copy full SHA for 5a1f7da

• allowing to have rational coeffs

  jesusjda

  committed
  639291a

  Copy full SHA for 639291a

Commits on Feb 19, 2019

• removing true constraints from list when add constraints to a solver

  jesusjda

  committed
  f59ca13

  Copy full SHA for f59ca13

Commits on Feb 15, 2019

• experimental implementation of incremental SMT with z3

  jesusjda

  committed
  3cb41b9

  Copy full SHA for 3cb41b9

• experimental implementation of rational coeffs

  jesusjda

  committed
  6f8b4c5

  Copy full SHA for 6f8b4c5

Commits on Feb 8, 2019

• printing solver

  jesusjda

  committed
  df11ed0

  Copy full SHA for df11ed0

Commits on Feb 7, 2019

• Merge branch 'unstable' of github.com:jesusjda/pyLPi into unstable

  jesusjda

  committed
  fd86fc3

  Copy full SHA for fd86fc3

• points as dictionaries, and new solver

  jesusjda

  committed
  7745d53

  Copy full SHA for 7745d53

Commits on Feb 5, 2019

• fixing setup script

  jesusjda

  committed
  4eb36c9

  Copy full SHA for 4eb36c9

Commits on Jan 30, 2019

• Fix bug when normalize

  jesusjda

  committed
  5c80a6a

  Copy full SHA for 5c80a6a

Commits on Jan 29, 2019

• 'And' and 'Or' classes defined!

  jesusjda

  committed
  c393bb1

  Copy full SHA for c393bb1

Commits on Jan 24, 2019

• minor

  jesusjda

  committed
  0ca5d07

  Copy full SHA for 0ca5d07

Commits on Jan 22, 2019

• v1.0 setup script

  jesusjda

  committed
  1de4f09

  Copy full SHA for 1de4f09

• v1.0

  jesusjda

  committed
  75e3014

  Copy full SHA for 75e3014

Commits on Jan 11, 2019

• adding tests (run `python3 ./tests/test_LPi.py`) and some doc

  Show description for b2cade5
  jesusjda

  committed
  b2cade5

  Copy full SHA for b2cade5

• adding gitignore

  jesusjda

  committed
  86aa542

  Copy full SHA for 86aa542

• adding gitignore

  jesusjda

  committed
  dd94cdd

  Copy full SHA for dd94cdd

• adding constraints, expressions and polyhedron definitions

  Show description for 614ee3c
  jesusjda

  committed
  614ee3c

  Copy full SHA for 614ee3c

Commits on Jan 10, 2019

• all solvers an lp libs are static, all their methods too.

  jesusjda

  committed
  2220496

  Copy full SHA for 2220496

Commits on Jan 8, 2019

• expressions and constraints defined

  jesusjda

  committed
  865172d

  Copy full SHA for 865172d

Commits on Dec 19, 2018

• project method and equality

  jesusjda

  committed
  5d18ac5

  Copy full SHA for 5d18ac5

Commits on Nov 15, 2018

• generators: wrong ppl call fixed

  jesusjda

  committed
  10e5a80

  Copy full SHA for 10e5a80

Commits on Oct 19, 2018

• is_sat with z3

  jesusjda

  committed
  357a6b6

  Copy full SHA for 357a6b6

Commits on Oct 16, 2018

• unconstraint and expand_space_dimension

  jesusjda

  committed
  bb81b2c

  Copy full SHA for bb81b2c

Pagination

Previous

Next