Flex

MaRDI QIDQ44016swMATHFDO

Official website https://github.com/westes/flex

Source code repository https://github.com/westes/flex

Cited in

(16)

• On the look-ahead problem in lexical analysis
• M-SURGE
• E-Surge
• Gnort
• HyLoRes
• Bison
• Lucene
• YACC
• BDDTab
• \(\mathrm{K}_{\mathrm S}\mathrm{P}\) a resolution-based theorem prover for \({\mathsf{K}}_n\): architecture, refinements, strategies and experiments
• Automatic generation of multistate capture-recapture models
• lazybv2int
• metaSMT
• SBV
• SMT Kit
• Smt-Switch: a solver-agnostic C++ API for SMT solving

This page was built for software: Flex