flloat

flloat copied to clipboard

'Or' object has no attribute 'simplify'

3

First thanks to all the authors for your time to develop this useful tool. Recently I am trying to use the flloat to do model checking on my laptop with...

bittdy

## Proposed changes Add some simple theorems in the tests. They are tested using Hypothesis to replace the placeholder with "every possible" formula (almost :-) ) ## Fixes n/a ##...

marfvr

Forbid uppercased propositions in LDLf

1

**Is your feature request related to a problem? Please describe.** Currently, it is still legal to create an LDLf formula whose atoms have upper-cased characters, differently from LTLf. ```python from...

marfvr

Missing Last, End special symbols in LTLf.

1

### Subject of the issue Last, End are special symbols that should have a special meaning. After #18 , these are no longer ignored, but they are parsed correctly. However,...

cipollone