Skip to content

Abduction Prover October 2023
Compare
Choose a tag to compare
@yutakang yutakang released this 04 Oct 22:32
· 29 commits to master since this release
v0.2.7-alpha
2c5fb01

What's new?

In this release, we:

  • Introduced Best-First Expansion based on the number of available processes,
  • Improved stability,
  • Fixed many bugs,
  • Switched to a strategy that applies PSL strategies to new conjectures more aggressively,
  • Reintroduced Nitpick into Abduction Prover, and
  • Enhanced the function to filter out unpromising conjectures.

Our small experiment based on this release confirmed that this version can automatically prove the following TIP problems: Prof01, Prod06, Prod11, Prod16, Prod21, Prod26, Prod31, Prod36, Prod41, and Prod46."

Assets 2
Loading