Tractables/Dice.jl

Issues

• Fix test for 'uniform_int' in julia 1.10

  #202 opened 6 days ago
  0

• Merge bitblasting into the main branch

  #201 opened 6 days ago
  0

• Precompile Dice to reduce latency of first execution

  #200 opened 16 days ago
  0

• Codecov Integration

  #199 opened 16 days ago
  0

• Update

  #197 opened a month ago
  0

• Write tests for the following function

  #196 opened 5 days ago
  1

• should be (-)?

  #195 opened 2 months ago
  1

• try returning expr instead of opt extr? what does env do?

  #194 opened 2 months ago
  1

• should be DistNone(return type of f)

  #193 opened 2 months ago
  1

• don't add here; maintain set of covered nodes, panic if not covered

  #192 opened 3 months ago
  0