libpoly (devel/libpoly) Updated: 2 years, 1 month 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
Reset

123 build(s) found

Page 2 of 2 | Showing build(s) 101 to 123

Builder Build Number Start Time Elapsed Time Watcher Build Status
10.13 119036 2021-07-27 14:12:38 0:03:11 38813 build successful
10.14 95566 2021-07-27 14:11:53 0:03:46 29522 build successful
10.15 66946 2021-07-27 14:11:44 0:04:20 18516 build successful
10.9 155367 2021-07-27 14:06:39 0:02:50 47619 failed install-port
10.10 151109 2021-07-27 14:04:53 0:02:36 47936 failed install-port
10.6.x86_64 69115 2021-07-27 14:02:23 0:06:05 20307 failed install-port
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