You've already forked ada_language_server
mirror of
https://github.com/AdaCore/ada_language_server.git
synced 2026-02-12 12:45:50 -08:00
31 lines
663 B
TOML
31 lines
663 B
TOML
name = "adasat"
|
|
description = "Implementation of a DPLL-based SAT solver in Ada."
|
|
long-description = """
|
|
Main features:
|
|
|
|
- [X] Conflict analysis and backjumping
|
|
- [X] Two-watched literals scheme
|
|
- [X] Built-in support for At-Most-One constraints
|
|
- [X] Custom theories
|
|
"""
|
|
version = "24.0.0"
|
|
website = "https://github.com/AdaCore/adasat"
|
|
authors = ["AdaCore"]
|
|
licenses = "Apache-2.0 WITH LLVM-exception"
|
|
maintainers = ["chouteau@adacore.com"]
|
|
maintainers-logins = ["chouteau", "roldak"]
|
|
tags = ["sat", "solver", "theories"]
|
|
|
|
[configuration]
|
|
disabled = true
|
|
|
|
[[actions]]
|
|
type = "post-fetch"
|
|
command = [
|
|
"sed",
|
|
"-i.bak",
|
|
's/, "-flto"//',
|
|
"adasat.gpr"
|
|
]
|
|
|