Skip to content

Update Main#36

Merged
pmbittner merged 34 commits intomainfrom
tier-bm
Jun 9, 2022
Merged

Update Main#36
pmbittner merged 34 commits intomainfrom
tier-bm

Conversation

@pmbittner
Copy link
Copy Markdown
Member

@pmbittner pmbittner commented Jun 9, 2022

  • extensions for frequent subgraph mining
  • at least two major bug fixes in validation
  • import FeatureIDE and Sat4J via local maven repo to allow jar building
  • minor refinements and documentation improvements
  • some utility scripts

@pmbittner pmbittner self-assigned this Jun 9, 2022
@pmbittner pmbittner merged commit 432de6a into main Jun 9, 2022
@pmbittner pmbittner deleted the tier-bm branch June 9, 2022 16:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants