Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / include / lustrec_math.smt2 @ d948c0bd

History | View | Annotate | Download (837 Bytes)

# Date Author Comment
dd29e0c7 03/15/2018 02:59 AM Bourbouh

add lustrec math functions

30f46c0c 07/14/2017 06:30 AM Pierre-Loïc Garoche

Renamed math lib into lustrec_math to avoid conflicting calls to <math.h>