Project

General

Profile

« Previous | Next » 

Revision 433c8a2e

ID433c8a2ebf5c1f5b6eda44ee293f37f6bb47524e
Parent 72e541b6
Child c14c011a

Added by Thorsten WiƟmann about 5 years ago

Reset CoAlgReasoner to the version ee45f2f

This fixes an assertion that failed for the PML+K formula

sat "({>= 3/5} (False + <R1> True & <R2> True) & {>= 2/5} ({>= 1/10} p0 & {>= 1/10} (~ p0) + False ) + False)"

which is satisfiable.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences