Search results

Emphasize certain predicates in linked output of web editor

Status: Open.

#120 In robsimmons/dusa;

· robsimmons opened on May 4, 2025

Restore web debug output

Status: Open.

#118 In robsimmons/dusa;

· robsimmons opened on Apr 28, 2025

Nitpicky - Add Alternative Comment Character

Status: Open.

#117 In robsimmons/dusa;

· spencerflem opened on Apr 27, 2025

Control over which solutions are more likely to be found first, or 'soft constraints'

Status: Open.

#116 In robsimmons/dusa;

· spencerflem opened on Apr 27, 2025

Implement negation by transformation

Status: Open.

#112 In robsimmons/dusa;

· robsimmons opened on Feb 26, 2025

Website crash when computing tables with large entries

Status: Open.

#111 In robsimmons/dusa;

· minsungc opened on Feb 18, 2025

"View program" in mobile-resposive view should pause

Status: Open.

#110 In robsimmons/dusa;

· robsimmons opened on Feb 7, 2025

Build from source issue: Cannot find module '.../dusa/lib/cli.js'

Status: Open.

#108 In robsimmons/dusa;

· minsungc opened on Feb 4, 2025

Add support for a form of "committed choice"

Status: Open.

#107 In robsimmons/dusa;

· tausbn opened on Jan 25, 2025

Grammar railroad diagram

Status: Open.

#102 In robsimmons/dusa;

· mingodad opened on Jan 18, 2025

Sometimes you just want the number

Status: Open.

#99 In robsimmons/dusa;

· robsimmons opened on Dec 30, 2024

DusaCompileError needs better toString behavior

Status: Open.

#98 In robsimmons/dusa;

· robsimmons opened on Dec 30, 2024