trlc icon indicating copy to clipboard operation
trlc copied to clipboard

Published 20 hours ago • verified publisher icon bmw-software-engineering

alternative modelling of decimals

Open florianschanda opened this issue 2 years ago • 1 comments
trafficstars

We can model decimals as integers and then divide them by a suitably large power of ten. This is not sound, but it is then complete, which may be in the spirit of this tool anyway.

We could make this configurable from the command-line.

florianschanda avatar Jul 17 '23 07:07 florianschanda

Why do we need this?

phiwuu avatar Jun 03 '24 12:06 phiwuu