pymcpp 5.0.0__tar.gz

pymcpp-5.0.0/.clang-format

@@ -0,0 +1,13 @@
+# MC++ project C/C++ style.
+---
+Language: Cpp
+BasedOnStyle: Google
+ColumnLimit: 80
+BreakBeforeBraces: Allman
+AlwaysBreakAfterReturnType: AllDefinitions
+# "if (x)" not "if(x)"; function calls keep no space: "foo(x)".
+SpaceBeforeParens: ControlStatements
+PointerAlignment: Left
+ReferenceAlignment: Left
+DerivePointerAlignment: false
+AlignConsecutiveAssignments: Consecutive

pymcpp-5.0.0/.git-blame-ignore-revs

@@ -0,0 +1 @@
+0a31930551c3780c90d39f5c1da32a6c4d3844b3

pymcpp-5.0.0/.github/workflows/wheels.yml

@@ -0,0 +1,175 @@
+name: wheels
+
+on:
+  push:
+    branches: [version-5.0]
+    tags: ["v*"]
+  pull_request:
+    branches: [version-5.0]
+  workflow_dispatch:
+
+jobs:
+  build_wheels:
+    name: Build wheels (${{ matrix.os }})
+    runs-on: ${{ matrix.os }}
+    # Windows is experimental: let it fail without failing the workflow, so a
+    # tagged release still publishes the Linux/macOS wheels.
+    continue-on-error: ${{ matrix.os == 'windows-latest' }}
+    strategy:
+      fail-fast: false
+      matrix:
+        # macos pinned (not -latest): brew libs target the runner's OS version,
+        # which must match MACOSX_DEPLOYMENT_TARGET below or delocate refuses.
+        # macos-13 (Intel) was retired by GitHub; macos-15-intel is the only
+        # remaining Intel label if x86_64 macOS wheels are ever wanted again.
+        os: [ubuntu-latest, macos-14, windows-latest]
+        # ubuntu-latest -> manylinux x86_64, macos-14 -> arm64,
+        # windows-latest -> AMD64 (all via ARCHS auto64)
+    steps:
+      - uses: actions/checkout@v4
+        with:
+          submodules: recursive
+
+      - uses: pypa/cibuildwheel@v4.1
+        env:
+          CIBW_BUILD: "cp310-* cp311-* cp312-* cp313-*"
+          # musllinux (Alpine) skipped: no EPEL, Armadillo would need a source build
+          CIBW_SKIP: "*-musllinux*"
+          CIBW_ARCHS: auto64
+          CIBW_MANYLINUX_X86_64_IMAGE: manylinux_2_28
+          CIBW_TEST_COMMAND: python {project}/src/pymcpp/test.py
+          CIBW_BUILD_VERBOSITY: 1
+
+          # --- Linux ---
+          # manylinux_2_28 is AlmaLinux 8: Armadillo comes from EPEL (needs
+          # powertools for its deps). The distro Boost (1.66) has no CMake
+          # config files, which find_package(Boost CONFIG) requires, so install
+          # recent Boost from source; --with-system builds one tiny library but
+          # installs all headers plus BoostConfig.cmake.
+          CIBW_BEFORE_ALL_LINUX: >
+            dnf install -y epel-release &&
+            dnf config-manager --set-enabled powertools &&
+            dnf install -y armadillo-devel openblas-devel &&
+            curl -sL https://archives.boost.io/release/1.86.0/source/boost_1_86_0.tar.gz | tar xz -C /tmp &&
+            cd /tmp/boost_1_86_0 &&
+            ./bootstrap.sh --prefix=/usr/local &&
+            ./b2 install --with-system -j4
+
+          # --- macOS ---
+          # Homebrew libs are built for the runner's OS version, so the wheel
+          # must target at least that; without this delocate rejects the wheel.
+          CIBW_BEFORE_ALL_MACOS: brew install boost armadillo
+          CIBW_ENVIRONMENT_MACOS: >
+            MACOSX_DEPLOYMENT_TARGET=14.0
+
+          # --- Windows ---
+          # vcpkg is preinstalled on the runner; the toolchain file makes
+          # find_package resolve to vcpkg-built Boost/Armadillo. The compiler
+          # is forced to clang-cl (MSVC-compatible ABI, but accepts the C99
+          # VLAs that MC++ uses and that cl.exe hard-rejects). delvewheel
+          # bundles the dependency DLLs into the wheel (cibuildwheel has no
+          # default repair step on Windows).
+          CIBW_BEFORE_ALL_WINDOWS: vcpkg install --triplet x64-windows armadillo boost
+          CIBW_ENVIRONMENT_WINDOWS: >
+            CMAKE_ARGS="-DCMAKE_TOOLCHAIN_FILE=C:/vcpkg/scripts/buildsystems/vcpkg.cmake -DVCPKG_TARGET_TRIPLET=x64-windows -DCMAKE_CXX_COMPILER=clang-cl"
+          CIBW_BEFORE_BUILD_WINDOWS: pip install delvewheel
+          CIBW_REPAIR_WHEEL_COMMAND_WINDOWS: >
+            delvewheel repair --add-path C:/vcpkg/installed/x64-windows/bin -w {dest_dir} {wheel}
+
+      - uses: actions/upload-artifact@v4
+        with:
+          name: wheels-${{ matrix.os }}
+          path: wheelhouse/*.whl
+
+  # Experimental: torch-enabled Linux wheel, built against the CPU torch wheel
+  # installed in the build environment. NOT published to PyPI: the module links
+  # against libtorch, so `import torch` must happen before `import pymcpp`, and
+  # the wheel is coupled to the torch version it was built against. The
+  # artifact name deliberately does not match wheels-* so the publish job
+  # ignores it.
+  build_torch_wheel:
+    name: Build torch-enabled wheel (experimental, Linux)
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+        with:
+          submodules: recursive
+
+      - uses: pypa/cibuildwheel@v4.1
+        env:
+          CIBW_BUILD: "cp312-manylinux_x86_64"
+          CIBW_ARCHS: x86_64
+          CIBW_MANYLINUX_X86_64_IMAGE: manylinux_2_28
+          CIBW_BUILD_VERBOSITY: 1
+          CIBW_BEFORE_ALL_LINUX: >
+            dnf install -y epel-release &&
+            dnf config-manager --set-enabled powertools &&
+            dnf install -y armadillo-devel openblas-devel &&
+            curl -sL https://archives.boost.io/release/1.86.0/source/boost_1_86_0.tar.gz | tar xz -C /tmp &&
+            cd /tmp/boost_1_86_0 &&
+            ./bootstrap.sh --prefix=/usr/local &&
+            ./b2 install --with-system -j4
+          # CMakeLists resolves torch from the *build* interpreter, so torch
+          # must be visible there: disable pip's build isolation and install
+          # the build requirements (plus CPU-only torch) into the environment
+          # ourselves.
+          CIBW_BUILD_FRONTEND: "build; args: --no-isolation"
+          CIBW_BEFORE_BUILD_LINUX: >
+            pip install torch --index-url https://download.pytorch.org/whl/cpu &&
+            pip install "scikit-build-core>=0.10" "pybind11>=2.13" "pybind11-stubgen>=2.5" ninja cmake
+          # Override the pyproject default (ENABLE_TORCH=OFF) for this job only.
+          CIBW_ENVIRONMENT_LINUX: SKBUILD_CMAKE_DEFINE="ENABLE_TORCH=ON"
+          # Do NOT vendor libtorch into the wheel: it must come from the
+          # user-installed torch package at runtime.
+          CIBW_REPAIR_WHEEL_COMMAND_LINUX: >
+            auditwheel repair
+            --exclude libtorch_cpu.so --exclude libtorch.so
+            --exclude libc10.so
+            -w {dest_dir} {wheel}
+          CIBW_BEFORE_TEST: pip install torch --index-url https://download.pytorch.org/whl/cpu
+          # torch must be imported first: importing it loads libtorch into the
+          # process, which is where the pymcpp module resolves its symbols.
+          CIBW_TEST_COMMAND: python -c "import torch, pymcpp; print(pymcpp.FFGraph())"
+
+      - uses: actions/upload-artifact@v4
+        with:
+          name: torch-wheel-experimental
+          path: wheelhouse/*.whl
+
+  # Source distribution: lets users build locally against their own
+  # dependencies, notably `pip install pymcpp --no-binary pymcpp
+  # -C cmake.define.ENABLE_TORCH=ON` to get a torch-enabled module compiled
+  # against exactly their installed torch version.
+  build_sdist:
+    name: Build sdist
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+        with:
+          submodules: recursive
+
+      - run: pipx run build --sdist
+
+      - uses: actions/upload-artifact@v4
+        with:
+          name: wheels-sdist # matches the publish job's wheels-* pattern
+          path: dist/*.tar.gz
+
+  publish:
+    name: Publish to PyPI
+    if: startsWith(github.ref, 'refs/tags/v')
+    # The torch-enabled build must succeed for a release, even though its
+    # wheel artifact is not published.
+    needs: [build_wheels, build_sdist, build_torch_wheel]
+    runs-on: ubuntu-latest
+    environment: pypi
+    permissions:
+      id-token: write # trusted publishing
+    steps:
+      - uses: actions/download-artifact@v4
+        with:
+          pattern: wheels-*
+          path: dist
+          merge-multiple: true
+
+      - uses: pypa/gh-action-pypi-publish@release/v1

pymcpp-5.0.0/.gitignore

@@ -0,0 +1,34 @@
+# Build artifacts
+/build
+
+# Generated Doxygen documentation
+/doc/html
+
+# IDE config directories
+.idea/
+.vscode/
+.zed/
+
+# Compiled Python files
+*.py[cod]
+__pycache__/
+
+# Python virtual environment
+.venv/
+
+# Jupyter
+.ipynb_checkpoints/
+
+# Log files
+*.log
+
+# OS-specific generated files
+.DS_Store
+Thumbs.db
+
+# test generated files
+test/DAG/*.dot
+
+# python wheel builds
+dist/
+*.dot

pymcpp-5.0.0/.gitmodules

@@ -0,0 +1,4 @@
+[submodule "extern/pybind11"]
+	path = extern/pybind11
+	url = https://github.com/pybind/pybind11
+	branch = stable

pymcpp-5.0.0/.pre-commit-config.yaml

@@ -0,0 +1,23 @@
+# Setup (once): pip install pre-commit && pre-commit install
+exclude: '^(src/3rdparty/|extern/)|\.ipynb$'
+
+repos:
+  - repo: https://github.com/pre-commit/mirrors-clang-format
+    rev: v18.1.8
+    hooks:
+      - id: clang-format
+        types_or: [c++, c]
+
+  - repo: https://github.com/cheshirekow/cmake-format-precommit
+    rev: v0.6.13
+    hooks:
+      - id: cmake-format
+
+  - repo: https://github.com/pre-commit/pre-commit-hooks
+    rev: v6.0.0
+    hooks:
+      - id: end-of-file-fixer
+      - id: mixed-line-ending
+        args: ['--fix=lf']
+      - id: trailing-whitespace
+        args: ['--markdown-linebreak-ext=md']

pymcpp-5.0.0/AUTHORS

@@ -0,0 +1,33 @@
+Main developer:
+
+- Benoit Chachuat, project lead (Imperial College London)
+
+Contributors:
+
+- Ali Sahlodin (McMaster University, MIT)
+
+  Coding, testing, debugging of Taylor model
+
+- Jai Rajyaguru, Nikola Peric, Akshay Shah (Imperial)
+  Mario Eduardo Villanueva (Imperial College London, ShanghaiTech, IMT Lucca)
+
+  Coding, testing, debugging of spectral bound, ellipsoidal bound, Chebyshev model
+
+- Yanlin Zha (Imperial)
+
+  Coding, testing, debugging of interval superposition arithmetic
+
+- Alexander Mitsos (MIT, RWTH Aachen)
+  Joe Scott (MIT, Clemson University)
+  Paul Barton (MIT)
+  Angelos Tsoukalas (MIT, American University of Beirut)
+  Jaromil Najman, Dominik Bongartz (RWTH Aachen)
+  Dominik Bongartz (RWTH Aachen, KU Leuven)
+
+  Testing, installation
+
+- Mario Eduardo Villanueva (ShanghaiTech, IMT Lucca)
+  Marco Sandrin (Imperial)
+  Kai Ruth (ETH Zurich, Imperial)
+
+  Releasing MC++ in GitHub and mantaining the GitHub site

pymcpp-5.0.0/CHANGES

@@ -0,0 +1,44 @@
+Change in MC++ 5.0 [from MC++ 4.0]
+- Updated spectral bound class (specbnd.hpp)
+- Updated sparse Chebyshev model class (scmodel.hpp, sicmodel.hpp) with tailored Remez algorithm
+- Updated ellipsoidal calculus and image classes (ellipsoid.hpp, ellimage.gpp) with tailored Remez algorithm
+- Updated superposition relaxation class (supmodel.hpp) with new capability
+- Updated DAG class (ffunc.hpp) and polyhedral relaxation (polimage.hpp) with hash maps
+- Added an external operation for DAG embeddings (ffdagext.hpp)
+- Moved quadratisation (squad.hpp), variable elimination (selim.hpp) and reduction constraint (sred.hpp) to sister project CANON
+- All linear algebra support based on Armadillo library, kept cpplapack as legacy code
+- Exposed all classes and types using pybind11
+- Added python scripts and Jupyter notebook tutorials
+
+Change in MC++ 4.0 [from MC++ 3.0]
+- Changed external operation mechanism to not rely on variadic class templates
+- Added external operations for linear terms (fflin.hpp), sparse polynomials (ffpol.hpp), neural networks (ffmlp.hpp, ffmlpreg.hpp)
+- Further support of MC++ types in Python using pybind11
+
+Change in MC++ 3.0 [from MC++ 2.3]
+- Support of forward and backward automatic differentiation in DAG, no longer reliant on FADBAD++
+- Removed depency propagation in DAG, now needing evaluation in mc::FFDep type
+- Enabled external operations using variadic class templates
+- Support of MC++ types in Python using pybind11
+
+Change in MC++ 2.3 [from MC++ 2.2]
+- Move semantic enabled in DAG and several set arithmetics
+- Support of external operations in DAG
+- Expression lifting and elimination in DAG
+- Expression creator from DAG, e.g. for expert to GAMS models
+- Improved interval superposition arithmetic
+
+Change in MC++ 2.2 [from MC++ 2.1]
+- Support of Boost interval library (in addition to PROFIL/BIAIS and Filib++)
+- Processing of sparse expressions in DAG
+- Quadratization of multivariate polynomials
+- Sparse Chebyshev model arithmetic (both real- or interval-valued coefficients)
+- Interval supersition arithmetic
+
+Change in MC++ 2.1 [from MC++ 2.0]
+- FADBAD++ library updated to include hyperbolic function (https://github.com/modsim/CADET-semi-analytic/tree/master/ThirdParty/FADBAD++)
+- CPPLapack library updated to version 2015.05.11-1 (http://cpplapack.sourceforge.net/doc/html/index.html)
+- Functions added in the DAG and computer algebra classes: cosh, sinh, tanh, lmtd, rlmtd, xlog, prod
+- Support of n-ary operations in DAG (prod)
+- Variadic templates for flexible composition, differentiation and evaluation methods in DAG
+- Detection of quadratic, polynomial and rational dependence in DAG, in addition to linear and nonlinear dependence