synthetic-sagor-database (npm): Brief summary database for fca-sagor-remake
Keywords: synthetic|sagor|database