Open Source Python UML Tools

Our goal is to develop a full working solver for ATA (with 1 clock) in Python, with MTL to ATA support. The decidability for the emptiness problem was proposed by Lasota and Walukiewicz. The MTL to ATA was proposed by Ouaknine and Worrell.

That project aims at providing a clean API, and the corresponding C++ implementation, for the basis of Airline IT Business Object Model (BOM), ie, to be used by several other Open Source projects, such as RMOL, Air-Sched, Travel-CCM, OpenTREP, etc.

SageMaker Hugging Face Inference Toolkit is an open-source library for serving Transformers models on Amazon SageMaker. This library provides default pre-processing, predict and postprocessing for certain Transformers models and tasks. It utilizes the SageMaker Inference Toolkit for starting up the model server, which is responsible for handling inference requests. For the Dockerfiles used for building SageMaker Hugging Face Containers, see AWS Deep Learning Containers. The SageMaker Hugging Face Inference Toolkit implements various additional environment variables to simplify your deployment experience. The Hugging Face Inference Toolkit allows user to override the default methods of the HuggingFaceHandlerService. SageMaker Hugging Face Inference Toolkit is licensed under the Apache 2.0 License.

Implemented classes of 3d objects: * Vector * Point * Line * Plane * LineSegment Yet incompletely implemented classes: * Triangle * Disk (closed circle) * Union (a collection of 3d objects) Each object has methods for finding its sizes, containing box or containing sphere. It finds intersection and distance or closest to another object part of itself. It also can tell if it contains the other object or is it contained by that. Where appropriate, it's easy to check orthogonality and parallelism. Vectors are sub-typed from numpy ndarray class. Extensive unit tests are included. Test coverage exceeds 95%. See documentation of the library internals in section Files ( https://sourceforge.net/projects/geometry3d/files/ ).