Hannes

adds operators $sizeLte and $sizeGte

8

## Overview - supports inequality matches for `$size` - example: between 10 and 20 customers in array - `"doc.customers": {"$sizeGte": 10}` - `"doc.customers": {"$sizeLte": 20}` ## Testing recommendations Tests are...

Documentation for JSCIPOpt API

4

I am reading the examples. Is there a documentation for the various objects and methods somewhere?

Are you planning to add JSCIPOpt to a Maven Repository?

10

What are the reasons for not adding JSCIPOpt to a Maven repository?

pydantic models for input and output?

5

Is there a place somewhere to keep pydantic models of vroom input and output? I need them anyways so I thought I could share them. Looks something like this: ```python...

it seems that the initial states are computed incorrectly as being all states, when the CTL spec is true everywhere. minimal example: ``` primes = PyBoolNet.Repository.get_primes("raf") update = "asynchronous" init...

update to protobuf 3.4.0

10

I am using osm4j in a project that has a dependency to `com.google.protobuf:protobuf-java:3.4.0` which causes some trouble. Could you update to version 3.4.0? See also https://github.com/topobyte/osm4j-pbf/issues/1