gitub.u-bordeaux.fr / taf / tapas
TaPAS is a set of ANSI C libraries related to Presburger Arithmetic and a small solver program.
JSON API: https://ecosystem.code.gouv.fr/api/v1/hosts/gitub.u-bordeaux.fr/repositories/taf%2Ftapas
Stars: 0
Forks: 0
Open issues:
License: other
Language:
Dependencies parsed at: Pending
Created at: about 2 years ago
Updated at: about 2 years ago
Last synced at: 8 months ago
Loading...