InputDB and experimental data

ah89 / ApproxDC

Approximate Denial Constraints

MIT License

6 stars 3 forks source link

InputDB and experimental data #2

Open adamyalei opened 3 years ago

adamyalei commented 3 years ago

Hi, I'm trying the ApproxDC test class, but didn't quite understand the input data format and type.

Just wondering if it's possible to share the way to run the test?

Thanks

zhengjie-zhou commented 2 years ago

Hi, I'm trying the ApproxDC test class, but didn't quite understand the input data format and type.

Just wondering if it's possible to share the way to run the test?

Thanks

Hello, I also encountered a similar problem, may I ask if you solved it? Can you share it with me？Thanks