38 releases
| new 0.9.16 | Apr 6, 2026 |
|---|---|
| 0.9.15 | Apr 5, 2026 |
| 0.9.10 | Mar 30, 2026 |
| 0.9.2 | Feb 28, 2026 |
| 0.6.0 | Jan 17, 2026 |
#2982 in Math
5MB
89K
SLoC
logicaffeine-cli
CLI tool for logicaffeine (largo).
Part of the Logicaffeine project.
Installation
cargo install logicaffeine-cli
Usage
largo --help
License
Business Source License 1.1 (BUSL-1.1)
- Free for individuals and organizations with <25 employees
- Commercial license required for organizations with 25+ employees offering Logic Services
- Converts to MIT on December 24, 2029
See LICENSE for full terms.
lib.rs:
LOGOS CLI (largo)
Command-line interface for the LOGOS build system and package registry.
This crate provides the largo CLI tool for creating, building, and
publishing LOGOS projects. It can be used as a library for programmatic
access to the build system.
Commands
| Command | Description |
|---|---|
largo new |
Create a new project |
largo init |
Initialize project in current directory |
largo build |
Compile a LOGOS module to Rust |
largo run |
Build and execute a module |
largo check |
Type-check without building |
largo verify |
Run Z3 static verification |
largo publish |
Publish package to registry |
largo login |
Authenticate with registry |
largo logout |
Remove stored credentials |
Module Structure
- [
cli] - Command-line argument parsing and dispatch compile- Re-exports from the compilation pipelineproject- Project management (manifest, build, registry)project::manifest-Largo.tomlparsing- [
project::build][mod@project::build] - Build orchestration project::credentials- API token storageproject::registry- Package registry client
Feature Flags
| Feature | Description |
|---|---|
verification |
Enable Z3 static verification (requires Z3 installed) |
Library Usage
While largo is primarily a CLI tool, the library API can be used
for build system integration:
use logicaffeine_cli::project::{BuildConfig, build, find_project_root};
use std::env;
let cwd = env::current_dir().unwrap();
let root = find_project_root(&cwd).expect("Not in a LOGOS project");
let result = build(BuildConfig {
project_dir: root,
release: false,
lib_mode: false,
target: None,
})?;
println!("Built: {}", result.binary_path.display());
Dependencies
~8–24MB
~309K SLoC