Bellman's Cafe
container instance
Select Program
Choose a program
alignments
alignments_singletrack
binary_search_tree
doorplate
elmamun
genefinder
hmm_casino
hmm_cpg
hmm_markovchain
hmm_sonneregen
hmm_transmembrane
matrix_chain_multiplication
palindromes
rnafolding
satisfiability
skatgame
Problem Description
Algebraproduct, Grammar, Inputstrings
Grammar
container inputstrings
Advanced Settings
Level of detail for grammar visualization
basic (1)
indices (2)
data types (3)
min/max yield size (4)
table dimensions (5)
generate outside grammar
Submit
Execution Results
Gapc
Grammar Plot
Make
Result
Source Code
Header
container code header
Signature
container code signatures
Algebras
container code algebras
Grammars
container code grammars
Instances
container code instances