From 53692f60329536b96219c61c48d1ac23e7ddc84a Mon Sep 17 00:00:00 2001 From: Nick Walker Date: Sat, 4 Jan 2025 05:53:41 +0000 Subject: [PATCH] Add heuristic for Linear Programs Linear programs must have an objective, --- lib/linguist/heuristics.yml | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/lib/linguist/heuristics.yml b/lib/linguist/heuristics.yml index 923303e6d..0801267f4 100644 --- a/lib/linguist/heuristics.yml +++ b/lib/linguist/heuristics.yml @@ -417,6 +417,11 @@ disambiguations: pattern: '^import [a-z]' - language: Lean 4 pattern: '^import [A-Z]' +- extensions: ['.lp'] + rules: + - language: Linear Program + pattern: '^(End|end|END|Minimize|Maximize)$' + - language: Answer Set Programming - extensions: ['.ls'] rules: - language: LoomScript