Skip to content

Releases: sanctuuary/APE

APE 1.1.9 - Export abstract and executable CWL

02 Nov 11:13
eb2a65f
Compare
Choose a tag to compare

Export abstract and executable CWL
Improved synthesis execution flags

APE 1.1.8 - Improved Class structure and naming

11 Jun 16:45
Compare
Choose a tag to compare

Improved class structure and naming to support extensions with additional solving techniques. The new structure allows for easy extensions with other (non-SAT) solvers.

APE 1.1.7 - Adding synthesis execution flags

20 Jan 14:06
Compare
Choose a tag to compare
  • Added synthesis execution flag (class SATsolutionsList)
  • Improved SolutionWorkflow class by adding methods for PNG retrieval of the workflows (e.g., getDataflowGraphPNG(..))

APE 1.1.5 - Adding long predicate labels

14 Jan 17:33
Compare
Choose a tag to compare
  • Added method PredicateLabel.getLongLabel()
  • Improved ModuleNode.getNodeFullLabel() method and renamed to ModuleNode.getNodeLongLabel()

APE 1.1.4 - Improving SolutionWorkflowNode (updated)

13 Jan 15:10
e03cb8b
Compare
Choose a tag to compare
  • Introduced method SolutionWorkflowNode.getNodeFullLabel()
  • Improved method descriptions

APE 1.1.3 - Improved synthesis run handling

07 Jan 13:22
088d67f
Compare
Choose a tag to compare

Implemented:

Cleaning temp files used for synthesis encoding after each SAT run
Introduced "timeout(sec)" configuration field

APE 1.1.2 - Constraint parsing fix

04 Dec 15:55
a67404d
Compare
Choose a tag to compare

Parsing of constraints got fixed. The error occurred in case of defining constraints over concrete operations that are not part of the ontology.

APE 1.1.1 - Strict taxonomy hiararchy

12 Nov 05:38
Compare
Choose a tag to compare

Improvements:

  • Implemented stricter tool annotations and added the corresponding core configuration field (strict_tool_annotations)
  • Removed message passing approach
  • Improved APE API (added new methods and improved documentation)

APE 1.0.3 - Interface improvements

13 Oct 22:42
369d175
Compare
Choose a tag to compare
  • Provided interface for building constraints from JSON objects
  • Tested new functionalities
  • Improved constraint descriptions (ConstraintTemplate in ConstraintFactory)
  • Improved constraint printouts in debug mode

APE 1.0.2 - constraint improvements

08 Oct 10:39
7f7c565
Compare
Choose a tag to compare
  • Improved constraint formatting
  • Refactored interface for auxiliary predicated
  • Improved documentation and testing