PioSOLVER doesn't use any abstractions or cutoff functions. It just solves the whole game without any simplifications other than allowed bet sizes. The cost is rather large RAM requirements. The advantages is that it's very precise and produces exact results for every hand (it doesn't bundle them).
patrickhulin•5h ago
You can use the solver at https://holdem.computer, and the source is at https://github.com/phulin/poker2.