https://github.com/cptoolset/homebrew-xcsp-launcher
Homebrew Formula for xcsp-launcher
https://github.com/cptoolset/homebrew-xcsp-launcher
homebrew homebrew-formula homebrew-tap tootatis xcsp xcsp-launcher xcsp3
Last synced: 3 months ago
JSON representation
Homebrew Formula for xcsp-launcher
- Host: GitHub
- URL: https://github.com/cptoolset/homebrew-xcsp-launcher
- Owner: CPToolset
- License: lgpl-3.0
- Created: 2025-04-29T13:27:34.000Z (over 1 year ago)
- Default Branch: main
- Last Pushed: 2025-05-05T09:52:39.000Z (over 1 year ago)
- Last Synced: 2025-05-05T10:42:53.746Z (over 1 year ago)
- Topics: homebrew, homebrew-formula, homebrew-tap, tootatis, xcsp, xcsp-launcher, xcsp3
- Language: Ruby
- Homepage: https://tootatis.dev
- Size: 4.88 KB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE.md
Awesome Lists containing this project
README
# 🧪 Homebrew Tap for XCSP Launcher
This repository provides a [Homebrew](https://brew.sh) tap for installing [`xcsp-launcher`](https://github.com/CPToolset/xcsp-launcher) — a unified tool to install, build, and launch constraint solvers compatible with the [XCSP3](https://xcsp.org) format.
## 🛠 Installation
```bash
brew tap CPToolset/homebrew-xcsp-launcher
brew install xcsp
```
## 🚀 Usage
Once installed, you can access the CLI tool:
```bash
xcsp --help
```
You can use it to:
- Install and compile solvers from configuration files
- Launch solvers on XCSP3 instances
## 🔄 Updating
To update to the latest version:
```bash
brew update
brew upgrade xcsp
```
## 📚 Related Projects
- [CPToolset/xcsp-launcher](https://github.com/CPToolset/xcsp-launcher): The main launcher tool