7 Commits (master)
 

Author SHA1 Message Date
  William Pitcock 329d81817d quirkysat: add asynchronous clause + model support 3 years ago
  William Pitcock 17e98f6884 model: allow models to accept multiple inputs like a true SAT 3 years ago
  William Pitcock d67283b529 model: add doctests for SimpleModel and WeightedModel to highlight the difference 3 years ago
  William Pitcock 72b514ce3f model: add a more complex example 3 years ago
  William Pitcock 6b8e4e8a86 model: make it work 3 years ago
  William Pitcock 679bbc2b22 import initial version of satifiability framework 3 years ago
  William Pitcock 6b57c705f3 Initial commit 3 years ago