Skip to content

Commit

Permalink
Add heuristic for Linear Programs
Browse files Browse the repository at this point in the history
Linear programs must have an objective,
  • Loading branch information
nickswalker committed Jan 4, 2025
1 parent 6727382 commit 53692f6
Showing 1 changed file with 5 additions and 0 deletions.
5 changes: 5 additions & 0 deletions lib/linguist/heuristics.yml
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit 53692f6

Please sign in to comment.