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

BUSL-1.1

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 pipeline
  • project - Project management (manifest, build, registry)

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