Resolving dependencies...
Error: cabal: Could not resolve dependencies:
[__0] trying: tableaux-0.3 (user goal)
[__1] trying: base-4.16.3.0/installed-4.16.3.0 (dependency of tableaux)
[__2] next goal: QuickCheck (dependency of tableaux)
[__2] rejecting: QuickCheck-2.14.3 (conflict: tableaux => QuickCheck>=2.13.2
&& <2.14)
[__2] skipping: QuickCheck-2.14.2, QuickCheck-2.14.1, QuickCheck-2.14 (has the
same characteristics that caused the previous version to fail: excluded by
constraint '>=2.13.2 && <2.14' from 'tableaux')
[__2] trying: QuickCheck-2.13.2
[__3] next goal: splitmix (dependency of QuickCheck)
[__3] rejecting: splitmix-0.1.0.4 (conflict: QuickCheck => splitmix>=0.0.2 &&
<0.1)
[__3] skipping: splitmix-0.1.0.3, splitmix-0.1.0.2, splitmix-0.1.0.1,
splitmix-0.1 (has the same characteristics that caused the previous version to
fail: excluded by constraint '>=0.0.2 && <0.1' from 'QuickCheck')
[__3] rejecting: splitmix-0.0.5 (conflict: base==4.16.3.0/installed-4.16.3.0,
splitmix => base>=4.3 && <4.15)
[__3] skipping: splitmix-0.0.4, splitmix-0.0.3, splitmix-0.0.2,
splitmix-0.0.1, splitmix-0 (has the same characteristics that caused the
previous version to fail: excludes 'base' version 4.16.3.0)
[__3] fail (backjumping, conflict set: QuickCheck, base, splitmix)
After searching the rest of the dependency tree exhaustively, these were the
goals I've had most trouble fulfilling: QuickCheck, tableaux, base, splitmix
Try running with --minimize-conflict-set to improve the error message.