BINEX encoder and decoder for real-time GNSS
Solver for ADFs grounded, complete, and stable semantics by utilising OBDDs - ordered binary decision diagrams
Library to solve grounded, complete, and stable ADF-semantics by utilising OBDDs - ordered binary decision diagrams
Include typed data directly in your executable