Downloads:
2,848
Downloads of v 2.8.9.20231007:
62
Last Update:
07 Oct 2023
Package Maintainer(s):
Software Author(s):
- IBEX Team
Tags:
ibex interval contraints contractor processing programming library c++ cpp- Software Specific:
- Software Site
- Software Source
- Software License
- Package Specific:
- Package Source
- Package outdated?
- Package broken?
- Contact Maintainers
- Contact Site Admins
- Software Vendor?
- Report Abuse
- Download
IBEX
This is not the latest version of IBEX available.
- 1
- 2
- 3
2.8.9.20231007 | Updated: 07 Oct 2023
- Software Specific:
- Software Site
- Software Source
- Software License
- Package Specific:
- Package Source
- Package outdated?
- Package broken?
- Contact Maintainers
- Contact Site Admins
- Software Vendor?
- Report Abuse
- Download
Downloads:
2,848
Downloads of v 2.8.9.20231007:
62
Maintainer(s):
Software Author(s):
- IBEX Team
IBEX 2.8.9.20231007
This is not the latest version of IBEX available.
Legal Disclaimer: Neither this package nor Chocolatey Software, Inc. are affiliated with or endorsed by IBEX Team. The inclusion of IBEX Team trademark(s), if any, upon this webpage is solely to identify IBEX Team goods or services and not for commercial purposes.
- 1
- 2
- 3
All Checks are Passing
3 Passing Tests
Deployment Method: Individual Install, Upgrade, & Uninstall
To install IBEX, run the following command from the command line or from PowerShell:
To upgrade IBEX, run the following command from the command line or from PowerShell:
To uninstall IBEX, run the following command from the command line or from PowerShell:
Deployment Method:
This applies to both open source and commercial editions of Chocolatey.
1. Enter Your Internal Repository Url
(this should look similar to https://community.chocolatey.org/api/v2/)
2. Setup Your Environment
1. Ensure you are set for organizational deployment
Please see the organizational deployment guide
2. Get the package into your environment
Option 1: Cached Package (Unreliable, Requires Internet - Same As Community)-
Open Source or Commercial:
- Proxy Repository - Create a proxy nuget repository on Nexus, Artifactory Pro, or a proxy Chocolatey repository on ProGet. Point your upstream to https://community.chocolatey.org/api/v2/. Packages cache on first access automatically. Make sure your choco clients are using your proxy repository as a source and NOT the default community repository. See source command for more information.
- You can also just download the package and push it to a repository Download
-
Open Source
-
Download the package:
Download - Follow manual internalization instructions
-
-
Package Internalizer (C4B)
-
Run: (additional options)
choco download ibex --internalize --version=2.8.9.20231007 --source=https://community.chocolatey.org/api/v2/
-
For package and dependencies run:
choco push --source="'INTERNAL REPO URL'"
- Automate package internalization
-
Run: (additional options)
3. Copy Your Script
choco upgrade ibex -y --source="'INTERNAL REPO URL'" --version="'2.8.9.20231007'" [other options]
See options you can pass to upgrade.
See best practices for scripting.
Add this to a PowerShell script or use a Batch script with tools and in places where you are calling directly to Chocolatey. If you are integrating, keep in mind enhanced exit codes.
If you do use a PowerShell script, use the following to ensure bad exit codes are shown as failures:
choco upgrade ibex -y --source="'INTERNAL REPO URL'" --version="'2.8.9.20231007'"
$exitCode = $LASTEXITCODE
Write-Verbose "Exit code was $exitCode"
$validExitCodes = @(0, 1605, 1614, 1641, 3010)
if ($validExitCodes -contains $exitCode) {
Exit 0
}
Exit $exitCode
- name: Install ibex
win_chocolatey:
name: ibex
version: '2.8.9.20231007'
source: INTERNAL REPO URL
state: present
See docs at https://docs.ansible.com/ansible/latest/modules/win_chocolatey_module.html.
chocolatey_package 'ibex' do
action :install
source 'INTERNAL REPO URL'
version '2.8.9.20231007'
end
See docs at https://docs.chef.io/resource_chocolatey_package.html.
cChocoPackageInstaller ibex
{
Name = "ibex"
Version = "2.8.9.20231007"
Source = "INTERNAL REPO URL"
}
Requires cChoco DSC Resource. See docs at https://github.com/chocolatey/cChoco.
package { 'ibex':
ensure => '2.8.9.20231007',
provider => 'chocolatey',
source => 'INTERNAL REPO URL',
}
Requires Puppet Chocolatey Provider module. See docs at https://forge.puppet.com/puppetlabs/chocolatey.
4. If applicable - Chocolatey configuration/installation
See infrastructure management matrix for Chocolatey configuration elements and examples.
This package was approved by moderator flcdrg on 26 Nov 2023.
IBEX is a C++ library for constraint processing over real numbers.
Quick start
- After installing Chocolatey, run
choco install -y ibex cmake make qtcreator
in PowerShell and then launch Qt Creator and choose Open Project, opentest_ibex\CMakelists.txt
(get the folder from https://www.ensta-bretagne.fr/lebars/Share/test_ibex.zip), ensure Desktop is selected and click Configure Project, wait 10 s then click on the big bottom green Run button, finally check that "My first interval:[0, 1]" appears.
Troubleshooting
- Check that all the packages and their dependencies were installed, if one failed (e.g. due to network-related errors) try to reinstall it using
--force
or try a previous version... - 32 bit versions of Qt Creator do not seem available any more, see https://github.com/AdmiringWorm/chocolatey-packages/issues/362.
- If multiple compilers are already installed, Qt Creator might show multiple possibilities in the Configure Project panel, ensure you choose one compatible with https://chocolatey.org/packages/ibex#dependencies.
Package parameters
The following package parameters can be set:
/url:URL
- Will install the specified binary package (e.g. built for Visual Studio), see versions from https://github.com/lebarsfa/ibex-lib/releases (the WindowsPATH
might need to be updated manually with e.g.C:\ProgramData\chocolatey\lib\ibex\bin
, etc.). By default, only the MinGW libraries compatible with the corresponding MinGW Chocolatey package dependency are installed. Use the standard parameterchoco install --ignore-dependencies ...
to avoid installing MinGW Chocolatey package dependency if needed./urlX:URL
- Same as above, with X in [1,99], except this will not disable the installation of the MinGW libraries compatible with the corresponding MinGW Chocolatey package dependency./InstallDir:INSTALLDIR
- Installation directory./NoPath
- Will not try to update WindowsPATH
./NoRegistry
- Will not try to update Windows registry.
To pass package parameters, use--params "''"
(e.g.choco install ibex --params "'/NoPath /NoRegistry'"
), and to install another binary package, try e.g.
choco install -y --ignore-dependencies ibex --params "'/url:https://github.com/lebarsfa/ibex-lib/releases/download/ibex-2.8.9.20231007/ibex_x64_vc17.zip'"
$ErrorActionPreference = 'Stop'; # Stop on all errors.
# Source variables which are shared between install and uninstall.
. $PSScriptRoot\sharedVars.ps1
$toolsDir = "$(Split-Path -parent $MyInvocation.MyCommand.Definition)"
$pp = Get-PackageParameters
$packageDir = Join-Path "$toolsDir" ".." -Resolve
$installDir = Join-Path "$packageDir" ".." -Resolve
if ($pp.InstallDir -or $pp.InstallationPath) {
$installDir = $pp.InstallDir + $pp.InstallationPath
}
Write-Host "IBEX is going to be uninstalled from '$installDir'"
$root = Join-Path $installDir "ibex"
if (Test-Path $CMakeRegistryPath) {
if (Test-Path $CMakeSystemRepositoryPath\$CMakePackageName) {
Remove-Item "$CMakeSystemRepositoryPath\$CMakePackageName"
}
}
if (Test-Path $root) {
Remove-Item -Recurse -Force $root
}
$ErrorActionPreference = 'Stop'; # Stop on all errors.
# Source variables which are shared between install and uninstall.
. $PSScriptRoot\sharedVars.ps1
$toolsDir = "$(Split-Path -parent $MyInvocation.MyCommand.Definition)"
$pp = Get-PackageParameters
$packageDir = Join-Path "$toolsDir" ".." -Resolve
$installDir = Join-Path "$packageDir" ".." -Resolve
if ($pp.InstallDir -or $pp.InstallationPath) {
$installDir = $pp.InstallDir + $pp.InstallationPath
}
Write-Host "IBEX is going to be uninstalled from '$installDir'"
$root = Join-Path $installDir "ibex"
if (Test-Path $CMakeRegistryPath) {
if (Test-Path $CMakeSystemRepositoryPath\$CMakePackageName) {
Remove-Item "$CMakeSystemRepositoryPath\$CMakePackageName"
}
}
if (Test-Path $root) {
Remove-Item -Recurse -Force $root
}
# Some of these variables might not be used in links to simplify parsing of files...
if ((Get-ProcessorBits 32) -or $env:ChocolateyForceX86 -eq $true) { $arch = "x86" } else { $arch = "x64" }
$MinGWMVer = "11"
$CMakeRegistryPath = "HKCU:\SOFTWARE\Kitware\CMake"
$CMakeSystemRepositoryPath = "HKLM:\SOFTWARE\Kitware\CMake\Packages"
$CMakePackageName = "Ibex"
Log in or click on link to see number of positives.
- ibex.2.8.9.20231007.nupkg (a7570566a714) - ## / 64
- ibex_x64_mingw11.zip (a1dfa21a9c6a) - ## / 64
- ibex_x86_mingw11.zip (a144d88f030f) - ## / 64
- ibexopt.exe (a9c3f828aea8) - ## / 71
- ibexsolve.exe (a2e77247b11f) - ## / 71
- ibexopt.exe (ee617813ae88) - ## / 71
- ibexsolve.exe (14995f4702f7) - ## / 72
In cases where actual malware is found, the packages are subject to removal. Software sometimes has false positives. Moderators do not necessarily validate the safety of the underlying software, only that a package retrieves software from the official distribution point and/or validate embedded software against official distribution point (where distribution rights allow redistribution).
Chocolatey Pro provides runtime protection from possible malware.
Add to Builder | Version | Downloads | Last Updated | Status |
---|---|---|---|---|
IBEX 2.8.9.20240417 | 67 | Thursday, April 18, 2024 | Approved | |
IBEX 2.8.9.20240224 | 38 | Sunday, February 25, 2024 | Approved | |
IBEX 2.8.9.20231007 | 62 | Saturday, October 7, 2023 | Approved | |
IBEX 2.8.9.20220812 | 179 | Sunday, September 11, 2022 | Exempted | |
IBEX 2.8.9.20220413 | 1658 | Saturday, April 23, 2022 | Approved | |
IBEX 2.8.9 | 828 | Saturday, May 15, 2021 | Approved |
-
- mingw (= 11.2.0.7112021)
Ground Rules:
- This discussion is only about IBEX and the IBEX package. If you have feedback for Chocolatey, please contact the Google Group.
- This discussion will carry over multiple versions. If you have a comment about a particular version, please note that in your comments.
- The maintainers of this Chocolatey Package will be notified about new comments that are posted to this Disqus thread, however, it is NOT a guarantee that you will get a response. If you do not hear back from the maintainers after posting a message below, please follow up by using the link on the left side of this page or follow this link to contact maintainers. If you still hear nothing back, please follow the package triage process.
- Tell us what you love about the package or IBEX, or tell us what needs improvement.
- Share your experiences with the package, or extra configuration or gotchas that you've found.
- If you use a url, the comment will be flagged for moderation until you've been whitelisted. Disqus moderated comments are approved on a weekly schedule if not sooner. It could take between 1-5 days for your comment to show up.