[DEECo] [d3scomp/JDEECo] a753ff: Modification to Z3 code (replaced ArrayExpr by Boo...

[GitHub]

  Branch: refs/heads/IntelligentEnsembles
  Home:   https://github.com/d3scomp/JDEECo
  Commit: a753ff51be2438ed4210475d3af10a420c4a18ea
      https://github.com/d3scomp/JDEECo/commit/a753ff51be2438ed4210475d3af10a420c4a18ea
  Author: Zbyněk Jiráček <jiracek at d3s.mff.cuni.cz>
  Date:   2016-02-26 (Fri, 26 Feb 2016)

  Changed paths:
    M jdeeco-ensembles-intelligent-z3/src/cz/cuni/mff/d3s/jdeeco/ensembles/intelligent/z3/Z3IntelligentEnsembleFactory.java
    M jdeeco-ensembles-intelligent-z3/test/cz/cuni/mff/d3s/jdeeco/ensembles/intelligent/z3/pendolino.edl

  Log Message:
  -----------
  Modification to Z3 code (replaced ArrayExpr by BoolExpr[]).