Naweed Aghmad Khan

model serialisation

4

Serialize all model rules and facts reflective of `model.print`

Model equivalence

3

Allow two models to be compared to one another using `__eq__` dunder. This compares all the formulae, their connectivity and corresponding facts at convergence (i.e. does not consider any gradient...

For a given node syntax, the model stores only one instance of that node. API changes require leaf nodes to be instanciated with a model attached to it, with connective...

@KyleErwin the code below seems to have two issues 1. Setting the truth of the universal quantifier doesn't directly update the proposition 2. Downward inference from the universal seems to...

Explore travis credits from IBM org