packages =["./static/littleutils-0.2.2-py3-none-any.whl", "./static/meteor_reasoner-1.0.10-py3-none-any.whl"] [[fetch]] files=["./"]

MeTeoR: metric temporal reasoner




  to check if the fact is entailed by the dataset and the program

import app import asyncio from meteor_reasoner.automata.automaton import consistency def entailment(): fact = Element('fact').element.value dataset = Element('dataset').element.value dataset = dataset.split("\n") program = Element('program').element.value program = program.split("\n") result = app.is_entail(program, dataset, fact) if result != "automata": Element('result').element.innerHTML = result else: Element('result').element.innerHTML = "Sorry, we currently do not support recursive programs with unbounded intervals."