lp:~verifypn-cpn/verifypn/eq-push-fix

Created by Peter Gjøl Jensen on 2019-04-17 and last modified on 2019-04-17
Get this branch:
bzr branch lp:~verifypn-cpn/verifypn/eq-push-fix
Members of verifypn-cpn can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
verifypn-cpn
Project:
verifypn
Status:
Development

Recent revisions

239. By Peter Gjøl Jensen on 2019-04-17

fixed error in re-write of equality into simpler form

238. By Peter Gjøl Jensen on 2019-03-08

memory management

237. By Peter Gjøl Jensen on 2019-02-15

updated readme

236. By Peter Gjøl Jensen on 2019-02-15

update lp-solve for win and linux, removed 32-bit compilation

235. By Peter Gjøl Jensen on 2019-02-12

RuleB: added singleton check on preset of consuming arc if any in the postset of producing arc is in the query.

234. By Peter Gjøl Jensen on 2019-02-12

disabled ruleJ

233. By Peter Gjøl Jensen on 2019-02-12

enabled ruleJ

232. By Peter Gjøl Jensen on 2019-02-12

Merge with lp-bounds

231. By Peter Gjøl Jensen on 2019-02-11

fix for issue with reload of upperbounds

230. By Peter Gjøl Jensen on 2019-02-06

fixed objective function

Branch metadata

Branch format:
Branch format 7
Repository format:
Bazaar repository format 2a (needs bzr 1.16 or later)
Stacked on:
lp:verifypn
This branch contains Public information 
Everyone can see this information.

Subscribers