A SAT-based framework for computing Envy-Free and Pareto-Efficient Virtual Machine Allocation in Cloud Federation using the Z3 Solver and Counterexample-Guided Abstraction Refinement (CEGAR).
-
Updated
Aug 27, 2026 - Python
#
cegar
Here are 3 public repositories matching this topic...
Optimizing Discrete Abstractions of Dynamical Systems
-
Updated
Aug 16, 2026 - Python
Agent-Level Speculative Orchestration & Formal Dual-Engine Code Generation (Rust, FastMCP, DeepSeek)
python rust code-generation formal-verification speculative-decoding deepseek mcp-server fastmcp claude-code agentic-coding cursor-mcp deepseek-v4 llm-as-a-verifier dspark cegar dspark-cli
-
Updated
Sep 1, 2026 - Rust
Add this topic to your repo
To associate your repository with the cegar topic, visit your repo's landing page and select "manage topics."