Skip to content

Public alpha 147

Pre-release
Pre-release
Compare
Choose a tag to compare
@stevenmeker stevenmeker released this 29 Apr 04:52
· 19 commits to master since this release
Alpha147
80af5d0
  • fixed bug in new ACU matching code where stripper variable was not required to have multiplicity 1
  • fixed bug in new ACU matching code where it didn't handle 0 or 1 subject arguments left
  • fixed bug in new ACU matching code where it could be used even if a non-ground alien was present
  • optimizations for ACU red-black matching
Assets 4
Loading