python (65.2k questions)

javascript (44.3k questions)

reactjs (22.7k questions)

java (20.8k questions)

c# (17.4k questions)

html (16.3k questions)

r (13.7k questions)

android (13k questions)

Questions - pluscal

What temporal formula to use for knapsack problem?

In "Practical TLA+" by Hillel Wayne, Chapter 3 goes over an implementation of the Knapsack Problem in PlusCal. Although I understand the implementation, I don't understand how to run it. He ...
test-img

Seanny123

visual-studio-code

knapsack-problem

tla+

pluscal

Votes: 0

Answers: 2

Latest Answer

It's under "model overview > what is the behavior spec".
test-img

Hovercouch

Posts

Questions

Blogs