libpoly (devel/libpoly) Updated: 1 year, 2 months ago Add to my watchlist
LibPoly is a C library for manipulating polynomials.LibPoly is a C library for manipulating polynomials. The target applications are symbolic reasoning engines, such as SMT solvers, that need to reason about polynomial constraints. It is research software under development, so the features and the API might change rapidly.
Version: 0.1.13 License: LGPL-3
GitHub
117 build(s) found
Page 2 of 2 | Showing build(s) 101 to 117
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 10.8 | 56496 | 2021-07-27 13:56:56 | 0:02:42 | 18203 | failed install-port |
| 10.6 | 37647 | 2021-07-27 13:55:36 | 0:08:26 | 20336 | failed install-port |
| 10.7 | 63986 | 2021-07-27 13:54:54 | 0:02:20 | 20344 | failed install-port |
| 11.arm64 | 27047 | 2021-07-27 13:42:56 | 0:01:07 | 8514 | build successful |
| 10.6.x86_64 | 57012 | 2021-05-19 19:52:54 | 0:06:41 | 18083 | failed install-port |
| 11 | 30921 | 2021-05-19 16:03:39 | 0:05:41 | 6112 | build successful |
| 10.14 | 87103 | 2021-05-19 15:59:56 | 0:04:10 | 27310 | build successful |
| 10.13 | 111414 | 2021-05-19 15:58:22 | 0:06:20 | 36602 | build successful |
| 10.11 | 141911 | 2021-05-19 15:54:47 | 0:02:58 | 45657 | failed install-port |
| 10.15 | 58212 | 2021-05-19 15:54:11 | 0:04:20 | 16307 | build successful |
| 10.10 | 143412 | 2021-05-19 15:51:00 | 0:02:53 | 45723 | failed install-port |
| 10.12 | 146990 | 2021-05-19 15:44:37 | 0:02:30 | 44649 | failed install-port |
| 10.9 | 147441 | 2021-05-19 15:39:52 | 0:02:23 | 45403 | failed install-port |
| 10.8 | 47040 | 2021-05-19 15:37:21 | 0:04:23 | 15983 | failed install-port |
| 10.6 | 31681 | 2021-05-19 15:36:01 | 0:10:47 | 18114 | failed install-port |
| 10.7 | 53416 | 2021-05-19 15:32:35 | 0:02:38 | 18122 | failed install-port |
| 11.arm64 | 20597 | 2021-05-19 15:11:26 | 0:01:56 | 6285 | build successful |