Downloads:
1,911
Downloads of v 1.5.7:
61
Last Update:
22 Apr 2025
Package Maintainer(s):
Software Author(s):
- Codac Team
Tags:
- 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
Codac
- 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:
1,911
Downloads of v 1.5.7:
61
Software Author(s):
- Codac Team
Codac
Legal Disclaimer: Neither this package nor Chocolatey Software, Inc. are affiliated with or endorsed by Codac Team. The inclusion of Codac Team trademark(s), if any, upon this webpage is solely to identify Codac Team goods or services and not for commercial purposes.
- 1
- 2
- 3
Some Checks Have Failed or Are Not Yet Complete
Not All Tests Have Passed
There are versions of this package awaiting moderation . See the Version History section below.
This package was rejected on 17 Jun 2025. The reviewer chocolatey-ops has listed the following reason(s):
Codac is a library providing tools for constraint programming over reals, trajectories and sets.
Quick start
- After installing Chocolatey, run
choco install -y codac cmake make qtcreator
in PowerShell and then launch Qt Creator and choose Open Project, opentest_codac\CMakelists.txt
(get the folder from https://www.ensta-bretagne.fr/lebars/Share/test_codac.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 tube:Tube [0, 10]" appears. - Optionally, download and run https://github.com/ENSTABretagneRobotics/VIBES/releases/download/0.2.3/VIBes-0.2.3-win32.exe before running the project, and check that a tube appears in VIBes window.
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/codac#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 e.g. versions from https://github.com/codac-team/codac/releases (the WindowsPATH
might need to be updated manually with e.g.C:\ProgramData\chocolatey\lib\codac\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 the default MinGW and IBEX Chocolatey package dependencies if needed (you might want to install manually IBEX package with the corresponding parameters, as well as the corresponding compiler and the Eigen package)./checksum:SHA256
- SHA256 checksum of the binary package specified by the/url
parameter. If needed, use the standard parameterchoco install --ignore-checksums ...
for trusted sources./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./checksumX:SHA256
- SHA256 checksum of the binary package specified by the/urlX
parameter. If needed, use the standard parameterchoco install --ignore-checksums ...
for trusted sources./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 codac --params "'/NoPath /NoRegistry'"
), and to install another binary package, try e.g.
choco install -y chocolatey-core.extension
choco install -y --ignore-dependencies codac --params "'/url:https://github.com/codac-team/codac/releases/download/v1.5.7/codac_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 "Codac is going to be uninstalled from '$installDir'"
$root = Join-Path $installDir "codac"
try {
# Uninstall-ChocolateyPath does not seem always available...
Uninstall-ChocolateyPath "$root\bin" -PathType 'Machine'
}
catch {
$newpath = [environment]::GetEnvironmentVariable("Path","Machine")
$newpath = ($newpath.Split(';') | Where-Object { $_ -ne "$root\bin" }) -join ';'
[environment]::SetEnvironmentVariable("Path",$newpath,"Machine")
}
Remove-ItemProperty -Path $CMakeSystemRepositoryPath\$CMakePackageName -Name "$CMakePackageName$CMakePackageVer`_$arch" -ErrorAction SilentlyContinue
if (Test-Path $root) {
if ((Resolve-Path $root).Path -notcontains (Resolve-Path $packageDir).Path) {
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 "Codac is going to be uninstalled from '$installDir'"
$root = Join-Path $installDir "codac"
try {
# Uninstall-ChocolateyPath does not seem always available...
Uninstall-ChocolateyPath "$root\bin" -PathType 'Machine'
}
catch {
$newpath = [environment]::GetEnvironmentVariable("Path","Machine")
$newpath = ($newpath.Split(';') | Where-Object { $_ -ne "$root\bin" }) -join ';'
[environment]::SetEnvironmentVariable("Path",$newpath,"Machine")
}
Remove-ItemProperty -Path $CMakeSystemRepositoryPath\$CMakePackageName -Name "$CMakePackageName$CMakePackageVer`_$arch" -ErrorAction SilentlyContinue
if (Test-Path $root) {
if ((Resolve-Path $root).Path -notcontains (Resolve-Path $packageDir).Path) {
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 = "Codac"
$CMakePackageVer = "1.5.7"
Log in or click on link to see number of positives.
- codac.1.5.7.nupkg (27b589a1142e) - ## / 65
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 |
---|---|---|---|---|
Codac 1.5.7.20250626 | 8 | Thursday, June 26, 2025 | Waiting on dependencies | |
Codac 1.5.6 | 104 | Thursday, April 11, 2024 | Approved | |
Codac 1.5.2 | 80 | Monday, October 16, 2023 | Approved | |
Codac 1.4.6 | 60 | Saturday, October 7, 2023 | Approved | |
Codac 1.2.1 | 127 | Sunday, May 28, 2023 | Approved | |
Codac 1.2.0 | 198 | Wednesday, June 8, 2022 | Approved | |
Codac 1.1.0 | 144 | Wednesday, May 18, 2022 | Approved | |
Codac 1.0.0 | 187 | Tuesday, April 26, 2022 | Approved | |
Codac 0.1.13 | 117 | Wednesday, April 13, 2022 | Approved | |
Codac 0.1.7 | 169 | Friday, November 5, 2021 | Approved | |
Codac 0.1.6 | 182 | Wednesday, August 25, 2021 | Approved | |
Codac 0.1.5 | 144 | Thursday, August 19, 2021 | Approved | |
Codac 0.1.4 | 116 | Thursday, August 19, 2021 | Approved | |
Codac 0.1.3 | 173 | Saturday, May 15, 2021 | Approved |
-
- chocolatey-core.extension (≥ 1.1.0)
- mingw (= 11.2.0.07112021)
- eigen (≥ 3.3.4.20210818)
- ibex (≥ 2.8.9.20230510)
Ground Rules:
- This discussion is only about Codac and the Codac 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 Codac, 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.
lebarsfa (maintainer) on 30 Mar 2025 14:18:42 +00:00:
User 'lebarsfa' (maintainer) submitted package.
lebarsfa (maintainer) on 16 Apr 2025 20:06:16 +00:00:
User 'lebarsfa' (maintainer) submitted package.
chocolatey-ops (reviewer) on 16 Apr 2025 20:41:37 +00:00:
codac has passed automated validation. It may have or may still fail other checks like testing (verification).
NOTE: No required changes that the validator checks have been flagged! It is appreciated if you fix other items, but only Requirements will hold up a package version from approval. A human review could still turn up issues a computer may not easily find.
Guidelines
Guidelines are strong suggestions that improve the quality of a package version. These are considered something to fix for next time to increase the quality of the package. Over time Guidelines can become Requirements. A package version can be approved without addressing Guideline comments but will reduce the quality of the package.
Suggestions
Suggestions are either newly introduced items that will later become Guidelines or items that are don't carry enough weight to become a Guideline. Either way they should be considered. A package version can be approved without addressing Suggestion comments.
chocolatey-ops (reviewer) on 17 Apr 2025 09:24:27 +00:00:
codac has passed automated package testing (verification). The next step in the process is package scanning.
Please visit https://gist.github.com/choco-bot/a949c094cc2ffc6136b68dd223184b82 for details.
This is an FYI only. There is no action you need to take.
chocolatey-ops (reviewer) on 17 Apr 2025 09:48:27 +00:00:
codac has passed automated virus scanning, however requires human verification.
Package Scan Status Type was Investigate.
We expected 3 file(s) to be downloaded as part of 64bit and 32bit installation, while only 1 file(s) were downloaded.
Check the virus scan results for additional information.
Pauby (reviewer) on 17 Apr 2025 19:00:12 +00:00:
Hi, a couple of issues / suggestions / questions:
Install-ChocolateyPath
rather than updating the path yourself in lines 100 to 103, and 166 to 170, of thechocolateyInstall.ps1
.Thanks.
Paul
lebarsfa (maintainer) on 21 Apr 2025 17:59:45 +00:00:
User 'lebarsfa' (maintainer) submitted package.
chocolatey-ops (reviewer) on 21 Apr 2025 18:37:17 +00:00:
codac has passed automated validation. It may have or may still fail other checks like testing (verification).
NOTE: No required changes that the validator checks have been flagged! It is appreciated if you fix other items, but only Requirements will hold up a package version from approval. A human review could still turn up issues a computer may not easily find.
Guidelines
Guidelines are strong suggestions that improve the quality of a package version. These are considered something to fix for next time to increase the quality of the package. Over time Guidelines can become Requirements. A package version can be approved without addressing Guideline comments but will reduce the quality of the package.
chocolatey-ops (reviewer) on 21 Apr 2025 19:28:58 +00:00:
codac has failed automated package testing (verification).
Please visit https://gist.github.com/choco-bot/ba0478d2d06a756d6faf2c0bab58f12d for details.
The package status will be changed and will be waiting on your next actions.
lebarsfa (maintainer) on 21 Apr 2025 19:37:48 +00:00:
User 'lebarsfa' (maintainer) submitted package.
chocolatey-ops (reviewer) on 21 Apr 2025 20:11:30 +00:00:
codac has passed automated validation. It may have or may still fail other checks like testing (verification).
NOTE: No required changes that the validator checks have been flagged! It is appreciated if you fix other items, but only Requirements will hold up a package version from approval. A human review could still turn up issues a computer may not easily find.
Guidelines
Guidelines are strong suggestions that improve the quality of a package version. These are considered something to fix for next time to increase the quality of the package. Over time Guidelines can become Requirements. A package version can be approved without addressing Guideline comments but will reduce the quality of the package.
chocolatey-ops (reviewer) on 21 Apr 2025 22:19:57 +00:00:
codac has failed automated package testing (verification).
Please visit https://gist.github.com/choco-bot/3d5a4dd3e0405da9ec0660323b052c7d for details.
The package status will be changed and will be waiting on your next actions.
lebarsfa (maintainer) on 22 Apr 2025 08:13:13 +00:00:
User 'lebarsfa' (maintainer) submitted package.
chocolatey-ops (reviewer) on 22 Apr 2025 08:46:28 +00:00:
codac has passed automated validation. It may have or may still fail other checks like testing (verification).
NOTE: No required changes that the validator checks have been flagged! It is appreciated if you fix other items, but only Requirements will hold up a package version from approval. A human review could still turn up issues a computer may not easily find.
Guidelines
Guidelines are strong suggestions that improve the quality of a package version. These are considered something to fix for next time to increase the quality of the package. Over time Guidelines can become Requirements. A package version can be approved without addressing Guideline comments but will reduce the quality of the package.
chocolatey-ops (reviewer) on 22 Apr 2025 11:53:23 +00:00:
codac has failed automated package testing (verification).
Please visit https://gist.github.com/choco-bot/9d58eccf09ccf9f192c949582a8906a5 for details.
The package status will be changed and will be waiting on your next actions.
lebarsfa (maintainer) on 22 Apr 2025 11:57:50 +00:00:
User 'lebarsfa' (maintainer) submitted package.
chocolatey-ops (reviewer) on 22 Apr 2025 12:32:50 +00:00:
codac has passed automated validation. It may have or may still fail other checks like testing (verification).
NOTE: No required changes that the validator checks have been flagged! It is appreciated if you fix other items, but only Requirements will hold up a package version from approval. A human review could still turn up issues a computer may not easily find.
Guidelines
Guidelines are strong suggestions that improve the quality of a package version. These are considered something to fix for next time to increase the quality of the package. Over time Guidelines can become Requirements. A package version can be approved without addressing Guideline comments but will reduce the quality of the package.
chocolatey-ops (reviewer) on 22 Apr 2025 14:49:21 +00:00:
codac has passed automated package testing (verification). The next step in the process is package scanning.
Please visit https://gist.github.com/choco-bot/f60d9e08fef9e4a2b27a492f16785e22 for details.
This is an FYI only. There is no action you need to take.
chocolatey-ops (reviewer) on 22 Apr 2025 15:14:49 +00:00:
codac has passed automated virus scanning, however requires human verification.
Package Scan Status Type was Investigate.
We expected 3 file(s) to be downloaded as part of 64bit and 32bit installation, while only 1 file(s) were downloaded.
Check the virus scan results for additional information.
lebarsfa (maintainer) on 22 Apr 2025 17:08:09 +00:00:
Hello, here are answers to each point:
(Icon CDN) Done.
(Unnecessary try /catch) Almost done, because I tried to use
Uninstall-ChocolateyPath
with suggestion 4 but it does not seem available on old versions of Chocolatey, so I added another try / catch block to handle that (I saw this because I need to use Chocolatey v1.4.0 to pack the package due to https://github.com/chocolatey/choco/issues/3499).(URL and Checksum package parameters) If I remember well, the intent was to allow users to specify alternate binaries, including their own binaries for that specific version of the library, typically built with custom build options (e.g. debug, release, specific compiler), and possibly side-by-side in the same installation folder (maybe related to https://docs.chocolatey.org/en-us/create/create-packages/#if-the-software-youre-creating-a-package-for-expects-side-by-side-installations-of-the-same-version ), and still be able to use choco to install/manage it. In installation scripts, the checksums manually specified together with the download path would at least ensure the files did not change after the installation script was created.
I would expect that there should not be conditions where this could install a file never explicitely chosen by the user or altered after his manual decision to get that file (even with
choco feature enable -n useRememberedArgumentsForUpgrades
unless he manually specified--ignore-checksums
).Otherwise I guess users that need custom build options would have to learn how to create a package, but in practice they would just forget about choco and do their own scripts (probably without taking care of checksums at all).
(Use Install-ChocolateyPath) Done.
Best regards.
Pauby (reviewer) on 12 May 2025 23:57:53 +00:00:
Hi,
Try / catch. This needs to be removed from the
chocolateyUninstall.ps1
. There is no need for it to be there. Either use the method in the catch block, OR check theUninstall-ChocolateyPath
function is available and use it, and if not fall back to removing from the path manually.Your comments have not addressed the concerns I had previously. If I supply
/url:https://badsite.bad/malwareridden.zip /checksum:12345
your package will install that onto my machine. That's a security problem. You need to remove those options.Paul
chocolatey-ops (reviewer) on 02 Jun 2025 00:00:28 +00:00:
We've found codac v1.5.7 in a submitted status and waiting for your next actions. It has had no updates for 20 or more days since a reviewer has asked for corrections. Please note that if there is no response or fix of the package within 15 days of this message, this package version will automatically be closed (rejected) due to being stale.
Take action:
If your package is failing automated testing, you can use the chocolatey test environment to manually run the verification and determine what may need to be fixed.
Note: We don't like to see packages automatically rejected. It doesn't mean that we don't value your contributions, just that we can not continue to hold packages versions in a waiting status that have possibly been abandoned. If you don't believe you will be able to fix up this version of the package within 15 days, we strongly urge you to log in to the site and respond to the review comments until you are able to.
chocolatey-ops (reviewer) on 17 Jun 2025 00:01:56 +00:00:
Unfortunately there has not been progress to move codac v1.5.7 towards an approved status within 15 days after the last review message, so we need to close (reject) the package version at this time. If you want to pick this version up and move it towards approval in the future, use the contact site admins link on the package page and we can move it back into a submitted status so you can submit updates.
Status Change - Changed status of package from 'submitted' to 'rejected'.