SAT solver based on Davis–Putnam–Logemann–Loveland (DPLL) based
propositional satisfiability in Ada.
Supported features include:
* Conflict analysis and backjumping
* Two-watched literals scheme
* Built-in support for At-Most-One constraints
* Custom theories
PR: 296552
Fairlearn is a Python package that empowers developers of artificial
intelligence (AI) systems to assess their system's fairness and mitigate any
observed unfairness issues. Fairlearn contains mitigation algorithms as well as
metrics for model assessment. Besides the source code, this repository also
contains Jupyter notebooks with examples of Fairlearn usage.
GUI tool for designing and analysing IIR/FIR digital filters:
magnitude, phase and pole-zero responses, stability analysis, audio
demo, and code export.
A comprehensive open-source high performance processing package for
GNU Octave based on Boost C++ Libraries. Provides direct access to
Boost.Accumulators statistical accumulators for online computation of
count, covariance, density, error of mean, extended P^2 quantiles,
kurtosis, max/min, mean, median, moments, P^2 cumulative distribution,
P^2 quantile, peaks over threshold, POT quantile, POT tail mean,
skewness, sum, and tail statistics, as well as Boost.Chrono for
high-resolution timing and Boost.Date_Time for date and time
manipulation and Boost.Thread for multithreading support.
Support functions, data sets, and vignettes for the 'psych' package. Contains
several of the biggest data sets for the 'psych' package as well as four
vignettes. A few helper functions for file manipulation are included as well.
RF and microwave network-parameter utilities for GNU Octave. Provides
S-parameter conversions (ST, SZ, SY, SABCD, SH, SG), cascading,
de-embedding, port reordering, renormalization, mixed-mode conversion
for differential pairs, and Touchstone I/O.
Ibis is the portable Python dataframe library:
- Fast local dataframes (via DuckDB by default)
- Lazy dataframe expressions
- Interactive mode for iterative data exploration
- Compose Python dataframe and SQL code
- Use the same dataframe API for more than 20 backends
- Iterate locally and deploy remotely by changing a single line of code
Lightweight fixed-point numeric type for GNU Octave. Intended for
fixed-point modeling, algorithm validation, and education. Supports
signed and unsigned formats, quantization, overflow handling, and basic
arithmetic operations.
math/eigen3 is obviously 2 major version numbers behind.
The misc/quantum++ port needs eigen-5.x
It might or might not be better to update math/eigen to 5.x - I am not
sure. Let's have math/eigen5 for now for ports that need it.
Arbitrary Precision Arithmetic (APA) package for Octave/Matlab. This
package is a wrapper around the MPFR library, which provides arbitrary
precision floating-point arithmetic. The package allows users to perform
calculations with a precision that can be set at runtime, making it
suitable for applications that require high precision, such as numerical
analysis and scientific computing.
Wide-integer implements a generic C++ template for extended width
unsigned and signed integral types.
This C++ template header-only library implements drop-in big integer
types such as uint128_t, uint256_t, uint384_t, uint512_t, uint1024_t,
uint1536_t, etc.
These can be used essentially like regular built-in integers.
Corresponding signed integer types such as int128_t, int256_t, and the
like can also be used.
Reuired for net-p2p/transmission 4.1.0.
PR: 292846
Co-authored-by: Vladimir Druzenko <vvd@FreeBSD.org>
Spox makes it easy to construct ONNX models through clean and idiomatic Python
code.
A common application of ONNX is converting models from various frameworks. This
requires replicating their runtime behaviour with ONNX operators. In the past
this has been a major challenge. Based on our experience, we designed Spox from
the ground up to make the process of writing converters (and ONNX models in
general) as easy as possible.
Spox's features include:
- Eager operator validation and type inference
- Errors with Python tracebacks to offending operators
- First-class support for subgraphs (control flow)
- A lean and predictable API
9c7ec30e93b38ff7a19b
Could not find compatible versions
Because every version of gitlab-backup-cli depends on bigdecimal ~> 3.1
and bigdecimal >= 3.1, < 4.A could not be found in locally installed gems,
gitlab-backup-cli cannot be used.
So, because Gemfile depends on gitlab-backup-cli >= 0,
version solving has failed.
*** Error code 6
Alastair Hogge
Po-Chuan Hsieh
Yuri Victorovich
Muhammad Moinur Rahman
Stephen Montgomery-Smith
Rene Ladan
Zsolt Udvari
Christos Longros
Charlie Li
Markus Graf
Rafe
Max Brazhnikov
Matthias Fechner
Dima Panov